Ocaml 递归没有按预期工作

keword rec不执行任何操作，也不会导致任何分段错误 比如这个例子

 let rec x x=x+x in x 2;;
 :-int=2

在这一定义中：

let rec x x = x + x

“递归”函数名

x

被名为

x

的参数隐藏。就好像你有：

let rec x y = let x = y in x + x

本质上，存在一个隐藏递归绑定的内部绑定