为什么这些Haskell函数的推断类型都不一样？

Question

我定义了五个函数，在我看来它们应该是等价的（因此，它们具有相同的类型）。但推断的类型是不同的。我将以下五行放在type-in​​ference.hs中：

f1 a b = a + b
f2 a = \b -> a + b
f3 = \a -> \b -> a + b
f4 a = (a+)
f5 = (+)

然后我加载了Hugs：

Hugs> :load type-inference.hs
Main> :type f1
f1 :: Num a => a -> a -> a
Main> :type f2
f2 :: Num a => a -> a -> a
Main> :type f3
f3 :: Integer -> Integer -> Integer
Main> :type f4
f4 :: Num a => a -> a -> a
Main> :type f5
f5 :: Integer -> Integer -> Integer

这里发生了什么？

Answer 1

MonomorphismRestriction正在发挥作用。

Prelude> let f5 = (+)
Prelude> :t f5
f5 :: Integer -> Integer -> Integer
Prelude> :set -XNoMonomorphismRestriction 
Prelude> let f5 = (+)
Prelude> :t f5
f5 :: Num a => a -> a -> a

因此，类型合成器在某些类型上被迫提前默认。