Oz Mozart阶乘函数

Question

我有一个目前正在工作的阶乘函数，但我所得到的结果不是我所需要的。

守则是：

declare
fun {Fact N}
if N==1 then [N]
  else
    Out={Fact N-1}in
     N*Out.1|Out end
end
{Browse {Fact 4}}

结果是：[24,6,2,1]，但是我需要结果显示：[1,2,6,24]和我看不到错误在哪里。

Answer 1

你想要减少N，没有其他的论点，只有N。

但有一个问题：

• 列表[1 2 6 24]实际上可以在oz中写成'|'(1 '|'(2 '|'(6 '|'(24 nil))))。 所以在第一次或最后一次调用时，您的函数必须返回24|nil. 但是，您的函数无法知道一个调用是第一个调用还是最后一个调用，因为您没有任何参数。
• 您的函数不是尾递归函数(如果您使用一本书来学习oz，您会发现原因，以及它的坏原因)

这里是我能想到的最好的功能：

declare
fun {Fact N}
   fun{Aux N Nmax FactNminus1}
      if N>Nmax then nil
      else (FactNminus1*N)|{Aux N+1 Nmax FactNminus1*N}
      end
   end
in
   {Aux 1 N 1}
end
{Browse {Fact 4}}

• N是增量，直到Nmax。
• FactNminus1包含{事实N1}，因此不必每次计算它。