Haskell - 爲什麼在這些情況下推斷類型不同？

Question

當匿名函數綁定到名稱時，爲什麼鍵入的推斷方式不同？

Prelude> :type (+) 
(+) :: Num a => a -> a -> a 

Prelude> let bar (x,y) = x+y 
Prelude> :type bar 
bar :: Num a => (a, a) -> a 

Prelude> :type \(x,y)->x+y 
\(x,y)->x+y :: Num a => (a, a) -> a 

Prelude> let foo = \(x,y)->x+y 
Prelude> :type foo 
foo :: (Integer, Integer) -> Integer 

Answer 1

這是一種多晶型GHCi缺省類型。

這些規則允許使用gchi作爲「用戶友好」的「計算器」，並且不使用簽名。

但是當然，這些規則不僅有所幫助，而且有時會阻礙。