Haskell類型類

Question

我是Haskell的新手，正在努力學習類型類是如何工作的。 我在GHCi編譯器中輸入了下面的代碼。

let (+) :: Num a => a -> a -> a; 
(+) a b = a+b; 

該代碼編譯，但每當我調用該函數，它卡住了，我必須按Ctrl + C來停止進程。

我在這裏做錯了什麼嗎？ 提前謝謝！

Answer 1

您從功能+遞歸調用你的函數+，這是一樣的，如果你寫：

add :: Num a => a -> a -> a 
add a b = add a b 

Answer 2

您已經定義a + b等於a + b（在+綴運營商也可以寫成作爲(+)，在這種情況下，它表現爲普通的前綴函數;但左手邊仍然是右手邊的東西）。

所以解釋只是永遠旋轉，以評估a + b它，然後需要評估a + b，然後需要的a + b的評估，等等。