這個ghci會話中的類型是怎麼回事？

Question

我正在學習Haskell，當我遇到非常令人費解的事情時，我在ghci中玩耍。

首先，創建一個簡單的附加功能：

Prelude> let add x y = x + y 

注意，它與整型和浮點：

Prelude> add 3 4 
7 
Prelude> add 2.5 1.3 
3.8 

現在創建一個應用功能。它與$（但不是中綴）相同。它像一個無操作上添加：

Prelude> let apply f x = f x 
Prelude> apply add 3 4 
7 
Prelude> apply add 2.5 1.3 
3.8 

好了，現在讓add'這是一樣的add'但使用apply：

Prelude> let add' = apply add 
Prelude> add' 3 4 
7 
Prelude> add' 2.5 1.3 

<interactive>:1:9: 
    No instance for (Fractional Integer) 
     arising from the literal `1.3' at <interactive>:1:9-11 
    Possible fix: add an instance declaration for (Fractional Integer) 
    In the second argument of `add'', namely `1.3' 
    In the expression: add' 2.5 1.3 
    In the definition of `it': it = add' 2.5 1.3 

笏。

以下是類型：

Prelude> :t add 
add :: (Num a) => a -> a -> a 
Prelude> :t apply add 
apply add :: (Num t) => t -> t -> t 
Prelude> :t add' 
add' :: Integer -> Integer -> Integer 
Prelude> 

爲什麼add'有不同的類型apply add？

這是ghci的古怪，或者這在Haskell中是真的嗎？ （以及我怎樣才能說出不同？）

Answer 1

這是Monomorphism restriction。當你用一個簡單的模式綁定（只有名稱，沒有任何函數參數）並且沒有類型簽名來定義一個值時，它會得到一個單態類型。根據defaulting rules，任何類型的變量都試圖被消除歧義，如果不成功，則會出現類型錯誤。

在這種情況下，約束類型變量Num默認爲Integer。

您可以關閉單態的限制與

ghci> :set -XNoMonomorphismRestriction 

或者在命令行上-XnoMonomorphismRestriction標誌。