为什么OCaml局部函数不具多态性？两段代码差异解析

先看报错的代码示例：

utop # let f : 'a -> 'a  = fun x -> x in (f 0, f true);;
Error: This expression has type bool but an expression was expected of type int

提示里的"This expression"指的是f true中的true。

再看能成功运行的代码：

utop # let f : 'a -> 'a  = fun x -> x;;
val f : 'a -> 'a = <fun>

utop # (f 0, f true);;
- : int * bool = (0, true)

核心原因：多态类型的作用域与值限制 #

这两种写法的本质差异来自OCaml的类型系统规则：

• 局部绑定场景（第一种写法）：let ... in ...结构里的f是局部变量，OCaml会对它的多态类型进行单态化处理。当你用f 0时，类型变量'a被确定为int，此时f的类型就固定成了int -> int。后续再调用f true时，传入的bool类型和f当前的类型不匹配，自然触发报错。
• 顶级绑定场景（第二种写法）：直接在顶级作用域定义的f，因为是lambda表达式这种"纯值"形式，符合OCaml值限制的例外条件，会被保留多态性。两次调用f时，'a会被分别实例化为int和bool，属于独立的类型推导过程，因此能生成int * bool类型的元组，运行成功。

内容的提问来源于stack exchange，提问作者Yanny