Haskell 单类型返回值场景下为何需要启用RankNTypes扩展？

核心原因是类型变量的「选择权归属」和forall的作用域问题 #

默认情况下，Haskell的类型签名中所有类型变量的forall都会隐式提到最外层，你最初写的类型签名：

rank2 :: Num n => (n -> n) -> Double

等价于显式写全的：

forall n. Num n => (n -> n) -> Double

这个签名的语义是：

• 类型参数n的选择权在rank2的调用者手里，调用者可以任意指定一个满足Num约束的类型作为n
• rank2的实现必须兼容所有可能的n选择，不能对n的具体类型做任何假设

你写的实现rank2 f = f 1.0并不满足这个要求：你直接给f传了Double类型的1.0，但调用者完全可以选择n为Int，传一个Int -> Int类型的函数进来，这时候给f传Double参数就会类型不匹配。编译器提示的「刚性类型变量」就是指这个n是调用者决定的固定类型，你不能在rank2实现里强制把它当成Double用。

启用RankNTypes后签名的语义变化 #

你修改后的签名：

rank2 :: (forall n. Num n => n -> n) -> Double

这里forall的作用域限制在参数f的类型里，语义变成了：

• 调用者传进来的参数f本身必须是多态的：要对所有满足Num约束的n都能适配，接受n返回n
• 这时候n的选择权交到了rank2的实现手里，你想给f传Double就传Double，传Int就传Int，f都能处理，自然就不会报错了。

关于你疑惑的几个问题 #

1. 为什么单个返回类型也报错？
   这个错误和返回值是单类型还是元组完全无关，根源是你对参数f的类型要求和你的实现逻辑不匹配：你需要f能接受Double类型的参数，但最初的签名允许调用者传只能接受Int的f，编译器自然会阻止你写出这种有类型风险的实现。

2. 多态是不是失去了意义？
   不是，普通的秩1多态（就是forall在最外层的情况）适用的是「调用者决定类型」的场景，这是绝大多数情况下的需求，比如我们常用的map :: (a -> b) -> [a] -> [b]就是调用者决定a和b的类型。
   只有当你需要「自己作为实现方决定参数的类型」，要求传入的参数本身是多态函数的时候，才需要用到RankNTypes提供的高阶多态能力，二者适用场景不同，不存在冲突。

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