我正在尝试理解这个Caml函数来计算一个数的n次方。else iterate (n-1) f (f d)
let i_times a = a * i in
iterate n i_times 1 我理解它在概念上的作用,但我在理解i_times时遇到了问题。根据我的理解,i_times接受一个值a并返回a*i,而i在调用它时被传递给power。为什么不以2结尾,也就是n和i_times 1 我知道这是一个非常基本的函数,但我只是函
我是OCaml的新手,在浏览一些代码时,我看到了以下内容: let catch f m = M.bind m ~f:( ) 据我所知,这是定义了一个try/catch块(我的理解是OCaml不使用单独的catch块)。OCaml参考手册说,~用于标记参数,以便于在文档中理解它们的类型签名。然而,这是否意味着第二次计算( "function ..")也被标记为f??