为何Haskell中两个逻辑一致的函数执行结果不同？

现象回顾 #

定义两个逻辑完全一致的函数：

addV1 x y = (if x > y then y else x) + 5
addV2 = \x -> \y -> (if x > y then y else x) + 5

• 加载源文件后，addV1的类型为(Num a, Ord a) => a -> a -> a，调用addV1 4.5 10能正常返回9.5；
• addV2的类型被默认推断为Integer -> Integer -> Integer，调用addV2 4.5 10会报错No instance for (Fractional Integer)；
• 在GHCi中直接定义时，两者类型均为(Num a, Ord a) => a -> a -> a；
• 为addV2添加显式类型签名后，函数恢复多态性，可正常执行。

核心原因：单态限制（Monomorphism Restriction） #

这一现象的核心是GHC的单态限制机制，它在源文件和GHCi中的行为不同：

1. 源文件中的规则

   • 单态限制默认开启，针对无显式类型签名的顶层"值绑定"生效（λ表达式定义的函数属于值绑定）。
   • addV1是显式柯里化的函数绑定（直接声明参数x y），单态限制对其不生效，因此保留多态类型。
   • addV2是λ表达式形式的值绑定，触发单态限制，GHC会将多态变量默认解析为具体类型（此处根据警告提示，默认成了Integer），导致函数只能接受整数类型参数。

2. GHCi中的规则
   GHCi默认关闭单态限制，因此无论用哪种方式定义函数，都会保留多态类型，所以两者表现一致。

显式类型签名的作用 #

为addV2添加显式类型签名：

addV2 :: (Num a, Ord a) => a -> a -> a
addV2 = \x -> \y -> (if x > y then y else x) + 5

相当于直接向GHC声明该函数的多态性，跳过单态限制的默认推断逻辑，强制函数保留通用的多态类型，因此可以接受Double等符合Num和Ord约束的类型参数。

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