Haskell未开启ScopedTypeVariables为何未触发刚性类型变量错误？

核心原因是你对Haskell默认的类型变量作用域规则有个常见误解：内部函数签名里和外层重名的类型变量，既不会默认和外层变量绑定，也不是只要重名就必然触发类型不匹配错误，报错只会在类型约束实际冲突的时候出现。

先理清楚默认规则 #

未开启ScopedTypeVariables时，所有写在类型签名里的类型变量，默认都会在当前签名的最外层被隐式forall绑定，作用域仅限当前签名：

• 外层foo的签名实际等价于foo :: forall a. Int -> [a] -> [a]，这里的a作用域只覆盖foo自己的签名，不会自动渗透到where块里的内部函数签名。
• 内部f的签名实际等价于f :: forall a1. (Int,[a1]) -> a1 -> (Int,[a1])，你写的a只是和外层变量重名，本质是一个全新的、独立的类型变量。

你的代码不报错的具体原因 #

你实现的f本身就完全符合它自己签名要求的多态类型，根本不需要和外层的a做绑定：

1. 看f的实现：所有操作的变量都是自身参数里的k/l/r，唯一用到的外层变量是n，类型是和类型变量无关的Int。整个实现没有引用任何外层作用域中绑定了外层a的值（比如外层参数list）。
2. 也就是说f确实是一个通用多态函数：不管a1是什么类型，它都能接收(Int, [a1])和a1参数，返回对应类型的(Int, [a1])，完全满足自己的类型签名要求，定义阶段自然不会报错。
3. 到foldl调用f的时候，GHC只需要做一次最普通的多态实例化：根据传入的list类型是外层的[a]，把f的类型变量a1实例化为外层的a，让f的类型匹配foldl要求的函数参数类型即可，整个过程没有任何类型冲突。

你预期的报错什么时候会出现？ #

当你在f的实现里用到了外层绑定了外层a的变量，导致f实际的类型没有签名声明的那么通用时，就会触发你说的Couldn't match type ‘a1’ with ‘a’错误。比如把代码改成下面这样，就会立刻报错：

foo :: Int -> [a] -> [a]
foo n list = snd $ foldl f (1,[]) list where
  f :: (Int,[a]) -> a -> (Int,[a])
  f (k,l) r
    | k==n = (1,l++[r]++take 1 list) -- 这里引用了外层list，类型是外层的[a]
    | otherwise = (k+1,l)

报错逻辑很简单：f的签名要求它能适配任意类型a1，但实现里拼接了外层list的元素，强制要求a1必须等于外层的a，和签名声明的多态性冲突，自然编译失败。

额外说明 #

很多人对ScopedTypeVariables的作用有误解：它不是用来"允许内部函数使用外层类型变量"的，而是用来显式把外层签名的类型变量引入内部作用域，让内部签名可以直接引用外层的固定类型变量，不需要把内部函数定义成多态的。如果你的内部函数本身就是独立的多态函数，哪怕和外层类型变量重名，只要实现符合多态要求，不开这个扩展也完全可以正常编译。

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