Haskell - 類型類

Question

我是Haskell的新手，我正在嘗試學習類型類的工作原理。 我在GHCi編譯器中輸入以下代碼。

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

代碼編譯，但每當我調用該函數時，它就會卡住，我必須按ctrl + c來停止進程。

我在這里做錯了嗎？ 先感謝您！

Answer 1

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

所以解釋器只是永遠旋轉，為了評估a + b然后需要評估a + b ，然后需要評估a + b ，依此類推。

Answer 2

你從函數+遞歸調用你的函數+ ，就像你寫的一樣：

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