爲什麼惰性評估在Haskell中對Num的操作與對Int的操作不同？

Question

在GHCI如果我這樣做..

let x = 1 + 2 

然後

:sprint x 

我得到

x = _ 

然後，如果我做

x 

3 

然後..

:sprint x 

我仍然得到

x = _ 

但是，如果我這樣做

let x = 1 + 2 :: Int 

然後第二：衝刺X給我

3 

只是想知道這是爲什麼？

Answer 1

看看1 + 2的類型：這是Num a => a。這意味着它可以是任何數字類型，由誰使用x指定。因此，如果您評估一次，GHCI的默認規則意味着它默認爲Int，然後您評估x :: Int，這確實是3 :: Int。但是，這不能保存爲x的值，因爲有人可能稍後會嘗試將其用作x :: Double，並且答案會有所不同。