haskell - 为什么 Haskell 中没有 Nums Ords？

Question

我知道对于具有 Num 实例的类型typeclass，必须有一个来自 Eq和 Show

class (Eq a, Show a) => Num a

我想知道为什么它必须是 Eq而不是 Ord . Eq 中的数值类型有意义吗？但不在 Ord 中?

Answer 1

例如，复数可以进行加法、减法、乘法和相等性测试，但不能排序。见 Complex a 来自基础中的 Data.Complex。