Haskellのデータ宣言にはいつレコード構文を使うべきですか？

Question

独自のアクセサ関数を記述する必要があるのと比べて、レコード構文が非常に便利です。通常のデータ宣言構文よりもレコード構文を使用するのが最善の場合については誰もガイドラインを見たことがないので、ここで尋ねます。

Answer 1

次の2つの状況でレコード構文を使用する必要があります。

1. タイプは型宣言がその意図したレイアウト

についての手掛かりを与えない

多くのフィールドがあります例えばポイントタイプが可能

data Point = Point Int Int deriving (Show) 

最初のIn tはx座標を示し、第2はyを示しています。しかし、次の型宣言の場合は、（Learn You a Haskell for Great Goodから取られた）異なっている：

data Person = Person String String Int Float String String deriving (Show) 

意図タイプのレイアウトは次のとおりです。名、姓、年齢、身長、電話番号、好きなアイスクリームのフレーバー。しかし、これは上記の宣言では明らかではありません。レコード構文は便利ここに来る：

data Person = Person { firstName :: String 
        , lastName :: String 
        , age :: Int 
        , height :: Float 
        , phoneNumber :: String 
        , flavor :: String 
        } deriving (Show) 

レコード構文は、コードをより読みやすく、かつ自動的に私たちのために、すべてのアクセサ関数を定義することによりタイピングを大量に保存されました！

Answer 2

複雑なマルチフィールドデータに加えて、newtypeはレコード構文で定義されることがよくあります。いずれの場合でも、レコード構文を使用することには実質的にマイナス面はありませんが、合計型の場合、レコードアクセサーは通常意味がありません。たとえば：

data Either a b = Left { getLeft :: a } | Right { getRight :: b } 

は有効ですが、アクセサ関数は部分ある - getLeft (Right "banana")を書くとエラーになります。そのため、そのようなアクセサーは一般的には落胆している。 getLeft :: Either a b -> Maybe aのようなものが一般的になり、手動で定義する必要があります。しかし、アクセサは名前を共有できることに注意してください：tastinessとmagic両方はまだありませんが、今

data Item = Food { description :: String, tastiness :: Integer } 
    | Wand { description :: String, magic :: Integer } 

descriptionは、合計です。