Haskell函数定义三种写法差异：部分应用与Lambda为何编译失败？

假设我们有类型类Eval a b，且函数fun的类型为Eval a b => a -> b，三种写法的差异核心源于Haskell的**单态限制（Monomorphism Restriction）**规则：

1. 显式参数写法：mapEval l = map fun l #

这种写法通过显式绑定参数l，会触发Haskell的多态类型推断逻辑。编译器会自动推导并保留类型类约束，最终得到正确的类型：

mapEval :: Eval a b => [a] -> [b]

显式参数的函数默认不受单态限制影响，编译器会将其视为多态函数处理。

2. Lambda表达式写法：mapEval = \l -> map fun l #

这种无参数绑定的定义会触发单态限制。编译器默认会尝试将函数推断为单态类型（即没有类型类约束的具体类型），但map fun依赖Eval约束，无法确定具体的a和b实例，因此编译报错。只有添加显式类型签名，明确告知编译器这是一个多态函数，才能绕过单态限制，让编译器保留类型类约束。

3. 部分应用写法：mapEval = map fun #

与lambda写法逻辑完全一致，这也是无参数的函数定义，同样会触发单态限制。编译器会试图寻找Eval的具体实例来确定类型，而非保留多态约束，导致编译失败。添加显式类型签名后，编译器会按照签名的多态意图处理，正确保留Eval a b约束。

单态限制的本质 #

单态限制是Haskell的默认规则，目的是避免不必要的多态推断带来的性能开销（比如重复推导类型或生成多态代码）。但在涉及类型类的多态场景中，无参数的函数定义会被强制限制为单态，因此需要显式类型签名来明确开发者的多态意图。

内容的提问来源于stack exchange，提问作者Clément Morelle