Mozart Oz 中相同代码的函数和过程表现不同？

Question

我尝试使用两种方法打印 Oz 中的斐波那契数列：使用 Emac 作为编辑器的函数和过程。 程序在这里：

declare 
fun {Fibo N} 
   case N of 
      1 then 1 
   [] 2 then 1
[] M then {Fibo (M-1)} + {Fibo (M-2)} 
   end 
end 
declare
proc {Loop K}
   if K ==1 then  {Browse K}
   else
      {Loop K-1}
       {Browse {Fibo K}}
   end
end
{Loop 10}

和功能：

declare 
fun {Fibo N} 
   case N of 
      1 then 1 
   [] 2 then 1
[] M then {Fibo (M-1)} + {Fibo (M-2)} 
   end 
end
declare
fun {Loo L}
   if L ==1 then  {Browse L}
   else
      {Loo L-1}
       {Browse {Fibo L}}
   end
end
{Loo 10}

问题是唯一的程序“循环”有效。结果是：

1
1
2
3
5
8
13
21
34
55

函数“Loo”没有，它会抛出一些难以理解的错误：

%********************** static analysis error *******************
%**
%** illegal arity in application
%**
%** Arity found:          1
%** Expected:             2
%** Application (names):  {Loo _}
%** Application (values): {<P/2> _<optimized>}
%** in file "Oz", line 13, column 6

%********************** static analysis error *******************
%**
%** illegal arity in application
%**
%** Arity found:          1
%** Expected:             2
%** Application (names):  {Loo _}
%** Application (values): {<P/2> 10}
%** in file "Oz", line 17, column 0
%** ------------------ rejected (2 errors)

我仍然不知道为什么。我认为功能和程序在OZ中具有类似的效果。

Answer 1

函数必须使用函数调用语法来调用：

_ = {Loo 10}

或者使用附加参数来接收值：

{Loo 10 _}

_ 发音为“不关心”，意味着不需要变量的值。

此外，函数必须通过将表达式作为每个分支的最后部分来返回一个值。因此，您的固定 Loo 函数将如下所示：

fun {Loo L}
   if L == 1 then
      {Browse L}
      unit
   else
      _ = {Loo L-1}
      {Browse {Fibo L}}
      unit
   end
end
_ = {Loo 10}

但是，如果您没有任何有趣的返回内容，那么使用这样的循环函数就没有多大意义。也许您真正想要的是 构建一个列表并将其作为结果返回？

Answer 2

第 13 行的 Loo 定义中有拼写错误。

您正在调用 Loop，但它不存在。我认为您应该致电 Loo。

更新：您所看到的是由于函数和过程之间的差异；函数总是返回值，而过程则不然。您向 Loo (K-1) 提供单个参数，但 Loo 需要两个参数；一个输入变量和一个捕获返回值的变量。 Oz 通过说您对 Loo 应用了错误的元数来告诉您这一点（当您应该应用两个参数（二进制）时，您正在应用一个参数（一元））。

这意味着您还必须将返回值分配给变量。执行以下操作之一：

1. A = {Loo K-1}
2. {Loo K-1 A}

A 是返回值将指向的变量被分配。对于不关心函数返回什么的情况，常见的约定是使用 _ 作为返回变量名称。