如何在haskell中创建类型类的Sub Type类？

Question

我们可以在Sub Type中创建Type Class haskell吗？ sub-typing的{​​{1}}等级可以达到多少？

Answer 1

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

class Parent a where
    ...

class Parent a => Child a where
    ...

然后Child的任何实例也必须是Parent的实例。

例如，请参阅Applicative class。

此外，我认为子类的“级别”没有限制，因为（我猜是这样）子类化可以作为相应实例的类字典的顺序联合 它包含各自的多态函数实现，看起来这个字典的增长没有边界。