J.B's questions

有人请解释一下 OCaml 问题中的算法。

我有解决方案，但我不明白。

定义 iterup：(int * 𝛼 → 𝛼) → int → int → 𝛼 → 𝛼。Iterup 采用一个接收当前数字和累加器的函数。它从给定的开始到给定的结束递增计数器编号，并每次应用该函数。最后一个参数是累加器的起始值。

解决办法是

let rec iterup f st ed acc = 
  if st > ed then 
    acc 
  else 
    iterup f (st+1) ed (f st acc)

我不明白的是为什么我们在最后一部分（fns）中同时采用 n 和 s 作为 f 的参数。当我们谈论尾递归时，这意味着什么？