haskell - 如何在haskell中创建类型类的子类型类？

Question

我们可以创建Sub TypeinType Class吗haskell？sub-typing最多可以去多少级Type Class？

Answer 1

是的，可以在 Haskell 中创建某种子类。它看起来基本上是这样的：

class Parent a where
    ...

class Parent a => Child a where
    ...

那么任何实例Child也必须是 的实例Parent。

例如，参见Applicative类。

我也不认为对子类化的“级别”有限制，因为（我猜是这样）子类化可以作为相应实例的类字典的顺序联合，其中包含它们各自的多态函数实现，并且似乎没有边界对于这本词典的增长。