タグ付けされた質問 「derived-instances」

3
Haskellでの派生はどのように機能しますか?
Haskellの代数的データ型(ADT)は、それらから派生することにより、いくつかのタイプクラス(Show、などEq)のインスタンスになることができます。 data Maybe a = Nothing | Just a deriving (Eq, Ord) 私の質問は、これderivingがどのように機能するか、つまりHaskellが派生ADTの派生型クラスの関数を実装する方法をどのように知るかです。 また、なぜderiving特定の型クラスのみに制限されているのですか?派生可能な独自の型クラスを作成できないのはなぜですか?
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.