模棱两可的出现'=='

Question

我只是在学习 Haskell，还在尝试弄清楚事情是如何工作的。

所以我正在创建一个列表类，它可以包含Int 和Char 的混合。

data Algebra = Empty
|   Nmbr Int Algebra
|   Smbl Char Algebra

然后我尝试使它成为Eq的实例

instance Eq Algebra where
Empty == Empty              = True
(Nmbr x xl) == (Nmbr y yl)  = (x == y) && (xl==yl)
(Smbl x xl) == (Smbl y yl)  = (x == y) && (xl==yl)
_ == _                  = False

我得到一个Ambiguous occurrence == 编译错误。它无法区分Main.== 和Prelude.==。如果我手动将所有== 替换为Main.== 或Prelude.==，那么它编译得很好。

我不明白为什么编译器在这里遇到这么多困难。 x 和 y 在每种情况下都明确定义为 Int 或 Char。我已经将我正在做的事情与众多教程示例（例如http://www.haskell.org/tutorial/classes.html）进行了比较，但我无法确定为什么编译器在这种情况下如此混蛋：P

Answer 1

您需要缩进 instance 定义的正文：

instance Eq Algebra where
  Empty == Empty              = True
  (Nmbr x xl) == (Nmbr y yl)  = (x == y) && (xl==yl)
  (Smbl x xl) == (Smbl y yl)  = (x == y) && (xl==yl)
  _ == _                  = False

否则编译器会将其视为两件事：

• 具有空主体的instance Eq Algebra，生成a == b = not (a /= b) 的默认定义，反之亦然。

• 一个名为==的新中缀运算符的定义。

然后在您的代码中使用== 现在会在来自Eq（在Prelude 中定义）的== 和您代码中的== (Main) 之间产生歧义。

是的，deriving Eq 为您提供了这种结构上的平等。