我知道对于具有类型类实例的Num类型，必须有一个 fromEq和Show
class (Eq a, Show a) => Num a
我想知道为什么需要它Eq而不是Ord. Eq数字类型在 in但不在 in是否有意义Ord？
问问题
684 次
2 回答
35
例如，复数可以进行加法、减法、乘法和相等性测试，但不能排序。请参阅Complex a基础中的 Data.Complex。
于 2013-02-04T16:08:48.413 回答
22
请注意，EqandShow约束也被广泛认为是错误特征。例如，它们会阻止Num包含函数的事物的完全有效实例。在最新版本的 GHC 中，这些约束也被删除，Num完全没有超类约束。
于 2013-02-04T16:23:29.087 回答