haskell - haskellでタイプクラスのサブタイプクラスを作成するには?

Question

Sub Typeで作成できますType Classかhaskell? レベルsub-typingはいくつまでType Classいける？

Answer 1

はい、Haskell である種のサブクラスを作成することは可能です。基本的には次のようになります。

class Parent a where
    ...

class Parent a => Child a where
    ...

次に、 のインスタンスもChildのインスタンスである必要がありますParent。

たとえば、Applicativeクラスを参照してください。

また、サブクラス化の「レベル」に制限があるとは思いません。サブクラス化は、多相関数のそれぞれの実装を含む対応するインスタンスのクラス辞書の順次結合として可能であり、境界がないように見えるためです。この辞書の成長のために。