java – 在Haskell中解释类型类

继续讨论这个问题,OO类和Haskell类型类之间的关键区别在于,在OO中,类(即使是接口类)也是新类型(后代)的类型和模板.在Haskell中,类型类只是新类型的模板.更准确地说,类型类描述了一组共享一个通用接口的类型,但它本身不是一种类型.

所以类型类“Num”用加法,减法和乘法运算符描述数字类型. “整数”类型是“Num”的实例,这意味着Integer是实现这些运算符的一组类型的成员.

所以我可以用这种类型写一个求和函数：

sum :: Num a => [a] -> a

位于“=>”左侧的位运算符说“sum”将适用于任何类型的“a”,它是Num的一个实例.右边的位表示它需要一个“a”类型的值的列表,并返回一个类型“a”的值.因此,您可以使用它来汇总整数列表或双列表或复合体列表,因为它们都是“Num”的实例. “sum”的执行当然会使用“”运算符,这就是为什么你需要“Num”类型约束.

但是你不能写这个：

sum :: [Num] -> Num

因为“Num”不是一个类型.

类型和类型之间的这种区别是为什么我们不谈论Haskell中的继承和后代的类型.对于类型类有一种继承：你可以声明一个类型类作为另一个的后代.这里的后代描述了父母描述的类型的一个子集.

所有这一切的一个重要结果是您不能在Haskell中有异质列表.在“sum”示例中,您可以传递一个整数列表或双精度列表,但是您不能在同一列表中混合双精度和整数.这看起来像一个棘手的限制;你如何实施旧的“汽车和卡车都是车型”的例子？有几个答案取决于您实际想要解决的问题,但一般原则是您使用一级函数明确使用间接方法,而不是隐式使用虚拟函数.