タグなしの共用体は型クラスを許可するのと同じですか？

Question

this質問では、タグなしの共用体はサブタイプの形式として記述されています。

タイプクラスもサブタイプの一種です。

概念的には同等ですか？どういたしまして、これらをHaskellでどのように実装するのですか？

Answer 1

タイプクラスもサブタイプの一種です。

これらはありません。説明のために、のは、私はその質問に示唆したTypeScript examplesに戻ってみましょう：私たちは組合型を持つ値を持っている場合は

は、我々は唯一の労働組合のすべてのタイプに共通しているメンバー にアクセスすることができます。ここで

interface Bird { 
    fly(); 
    layEggs(); 
} 

interface Fish { 
    swim(); 
    layEggs(); 
} 

function getSmallPet(): Fish | Bird { 
    // ... 
} 

let pet = getSmallPet(); 
pet.layEggs(); // okay 
pet.swim(); // errors 

、getSmallPetの戻り値の型はFishもBirdが、メンバーFishとBirdの両方に共通のメンバーとして持っている両方のスーパータイプでもありません。 Fishはでもあり、aであり、従ってBirdである。型クラスで何が起こる

はかなり異なっている：

foo :: Num a => a -> a 
foo x = (x * x) + x 

ながら(3 :: Integer)と(7.7 :: Double)も持っていることをNumに対応するスーパータイプがあるという意味ではありません両方foo (3 :: Integer)とfoo (7.7 :: Double)仕事、。むしろ、Num a => a -> aは、aの選択は、Numのインスタンスを持つ必要があります（Numはタイプではないことを強調しておく価値があります）。(*)と(+)の適切な実装が選択されたタイプに適しています。 OOPメソッドとは異なり、(*)と(+)は特定のタイプに属していないため、IntegerとDoubleの両方で使用するためにスーパータイプを導入する必要はありません。