haskell - Haskell 中如何定义 (==) ？

Question

我正在用 Haskell 编写一种小型函数式编程语言，但我找不到 (==) 如何实现的定义，因为这似乎很棘手？

Answer 1

Haskell 使用“类型类”的概念。实际的定义是这样的:

class Eq a where
  (==) :: a -> a -> Bool
  -- More functions follow, for more complex concepts of equality (eg NaN)

然后你可以为你自己的类型定义它。例如:

-- Eq can't be automatically derived, because of the function
data Foo = Foo Int (Char -> Bool)

-- So define it here
instance Eq Foo where
  (Foo x _) == (Foo y _) = x == y