如何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提供默认实现既==和/=的原因是，这样你就可以决定是否要为==或/=提供一个定义，你会得到免费的另外一个即使你选择/=。