list - Haskell 中列表的 `==` 的源代码定义

Question

有谁知道在 Haskell 中如何为列表定义 exactly ==？我试过 Hoogling 它，但似乎无法找到实例 Eq [a] 的定义位置。

Answer 1

Eq 和其他内置实例的 GHC 实现写在 GHC.Classes 中.具体来说，您正在寻找 Eq [a]

instance (Eq a) => Eq [a] where
    {-# SPECIALISE instance Eq [[Char]] #-}
    {-# SPECIALISE instance Eq [Char] #-}
    {-# SPECIALISE instance Eq [Int] #-}
    []     == []     = True
    (x:xs) == (y:ys) = x == y && xs == ys
    _xs    == _ys    = False

没有什么 super 令人兴奋的。两个空列表相等，如果头部和尾部相等，两个非空列表也相等。最后，两个任意列表是不相等的。唯一有趣的部分是专门化指令，它应该单态化整数列表、字符串和字符串列表的相等性检查。