haskellで同じ変数を含む2つのデータ型を宣言するには？

Question

モジュールでは、このような2つのクラスを追加したいと思います。

data Person = Person { name :: String -- and some other details 
        } 

data PetAnimal = PetAnimal { name :: String 
          } 

これはうまくいくと思われましたが、ghcは複数の名前の宣言について不平を言っています。これをどのように達成するのですか？

Answer 1

ここでの問題は、私は信じて、あなたは一つの機能

name :: Person -> String 

、その後、何1

name :: PetAnimal -> String 

を得るようHaskellは、レコード内のすべてのフィールドにアクセスする関数を定義していることですコンパイラは好きではありません。

名前の一方または両方を変更したり、別のモジュールに入れることができます。

Answer 2

タイプクラスは、考慮する可能性がある一般的なインターフェイスを実現する別の方法です。 GHC 8で

data Person = Person { personname :: String -- and some other details 
        } 

data PetAnimal = PetAnimal { petanimalname :: String 
          } 

class HasName a where 
    name :: a -> String 

instance HasName PetAnimal where 
    name = petanimalname 

instance HasName Person where 
    name = personname