ocaml - 阶乘函数的尾递归实现

Question

我正在阅读 jason 的书，但不太了解以下程序:

let fact2 i =
    let rec loop accum i =
        if i = 0 then 
            accum
        else
            loop (i * accum) (i - 1)
    in
        loop 1

1. accum 是如何初始化的？
2. 最后两行(即在循环 1 中)的含义是什么？循环有两个参数。为什么这里只传递一个(即循环 1)。

非常感谢!!!

Answer 1

我认为这是实现中的一个错误。最后一行应该是

loop 1 i

整数 1 从 loop 函数初始化 accum，i 在同一函数中初始化 i。