如何Eq類型類函數的實現：X == Y =未（X/= Y）X/= Y =不（x == y）的工作？

Question

我讀了book，它關於類型類的定義會談Eq

有兩個函數==，/=的公式，他們被實現爲：

x == y = not (x /= y) 
    x /= y = not (x == y) 

書上說，他們是相互遞歸的，函數的結果是在另一個函數的項目中。

我不明白的是，我沒有看到一個基本情況在相互遞歸，我不明白爲什麼功能將停止並返回結果。

Answer 1

有了這些定義，相互遞歸不會停止 - 它會無限遞歸。這個想法是，當你實現Eq類型類時，用你自己的基本情況覆蓋兩個定義中的一個。

因此，舉例來說，如果你有一個類型data Foo = Bar | Baz您Eq實例可以是這樣的：

instance Eq Foo where 
    Bar == Bar = True 
    Baz == Baz = True 
    _ == _ = False 

在這裏我們只定義==，不/=，所以/=將使用其默認定義not (x == y)。然而我們的==定義不會叫/=回來，所以它不再相互遞歸將終止沒有任何問題。

是Eq提供默認實現既==和/=的原因是，這樣你就可以決定是否要爲==或/=提供一個定義，你會得到免費的另外一個即使你選擇/=。