为什么Haskell中没有Nums Ords？

Question

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

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

我想知道为什么要这样做Eq而不是Ord.数值类型是否有意义Eq但不存在Ord？

Answer 1

例如,可以添加,减去,乘以复数,并测试相等性,但不进行排序.Complex a从基数的Data.Complex 看.

Answer 2

请注意,这些Eq和Show约束也被广泛认为是错误的.例如,它们会阻止Num包含函数的事物的完全有效实例.在最新版本的GHC中,这些约束也被删除,Num完全没有超类约束.