關於Haskell類型類（Num vs Read）

Question

有人可以解釋我在這里缺少的東西：

Prelude> :t read
read :: (Read a) => String -> a 
Prelude> read "4"

<interactive>:1:0:
    Ambiguous type variable `a' in the constraint:
      `Read a' arising from a use of `read' at <interactive>:1:0-7
    Probable fix: add a type signature that fixes these type variable(s)

read "4"引發錯誤，因為ghci不知道我們想要哪種具體類型，它只知道我們有一個Read類。 read "4" :: Int工作正常。 這對我來說很清楚。

現在，按照上面的邏輯，我期望從fromIntegral 4中引發一個錯誤：

Prelude> :t fromIntegral
fromIntegral :: (Integral a, Num b) => a -> b
Prelude> fromIntegral 4
4

但是，它工作正常。 為什么在這種情況下不需要類型注釋？ 我預計上述情況會失敗; 而且只有

Prelude> fromIntegral 4 :: Int

上班。

注意 - 我正在閱讀“讓你學習哈斯克爾以獲得巨大的利益”並且已經涵蓋到第5章了。我在第7章（或其他章節）中討論的是什么？

謝謝。

Answer 1

它的工作原因是類型默認 ，這會導致模糊類型變量默認為Integer或Double （或其他一些用戶定義的默認值）。 這只發生在Num及其子類中。

在GHCi中， 放寬默認規則也適用於Show ， Eq和Ord ，並且()也被添加到默認類型列表中。 這允許像[] == []這樣的表達式進行類型檢查。

Answer 2

區別在於read可能會導致任何類型，而fromIntegral會產生一個數字。 關於ghci中的數字有一些默認值，因此ghci可以使用默認類型。