我可以在不使用 Eq 的情况下使用 == 和 /= 吗？

Question

所以我写了这个程序，一切正常；） 我想改进它。我还可以使用 /= 编译两个不同的时间集并获得 True 作为结果。 我有点困惑。

data Time = Localtime {hour, minute :: Int}
              | Globaltime {hour, minute, difference :: Int}
              | LocaltimeAM {hour, minute :: Int, am :: Bool} 
             deriving Show

same :: Time -> Time -> Bool
same u1 u2 = (h u1) == (h u2)
   where
      h :: Time -> (Int, Int) -- (Int, Int) = (hour, minute)
      h (Localtime h m) = (h, m)
      h (Globaltime h m d) = ((h+d+24) `mod` 24, m) 
      h (LocaltimeAM h m am) = (h + (if am then 0 else 12), m)

Answer 1

回答标题中的问题：

我可以在不使用Eq 的情况下使用== 和/= 吗？

您可以 - 从技术上讲 - 在前奏中显式隐藏 Eq 类型类，然后自己定义 (==) 和 (/=) 函数，但这不是一个好主意，因为这意味着你不能用(==)比较两个整数。

您可能想要将Time 设为Eq 类型类的实例，这样您就可以从现在开始编写time1 == time2。我们可以将其设为如下实例：

h :: Time -> (Int, Int) -- (Int, Int) = (hour, minute)
h (Localtime h m) = (h, m)
h (Globaltime h m d) = ((h+d+24) `mod` 24, m) 
h (LocaltimeAM h m am) = (h + (if am then 0 else 12), m)

instance Eq Time where
    t1 == t2 = (h t1) == (h t2)

Haskell 会自动为我们编写(/=) 函数（与(==) 相反），或者您可以决定编写(/=) 版本，然后Haskell 将编写(==) 版本。当然你也可以同时实现。

使类型成为类型类的成员实际上很有用。以nub :: Eq a => [a] -> [a] 函数为例。它要求 a 类型是 Eq 类型类的成员，并执行某种“唯一性”过滤器：您为其提供一个元素列表，它返回一个 non-equal 的列表em> 元素。现在无需为您的Time 类型定义nub 函数，通过使Time 成为Eq 类型类的实例，您可以在Times 的列表中使用nub。

当然，您不能简单地将类型设为所有可能类型类的实例。如果您可以检查两个项目是否相同（因此当两个项目相等时应该有一个“合理”的想法），您应该只将类型设为 Eq 类型类的实例。此外，这些类型类中的大多数都带有“contracts”：例如，相等关系（如(==) 定义的）应该是自反、对称 , 和传递。