相关疑难解决方法(0)

这几天我正在研究OCaml,并且遇到了这个:

OCaml限制了它可以放在let rec的右侧.像这个

let memo_rec f_norec =
let rec f = memoize (fun x -> f_norec f x) in
f;; 
Error: This kind of expression is not allowed as right-hand side of `let rec'

其中,memoize是一个函数,它接受一个函数并将其转换为带有Hashtable的记忆版本.很显然,OCaml在'let rec'的右侧对构造的使用有一些限制,但我真的不明白,有人能解释一下吗？