レコード

レコードは代数的でないデータ型。C の構造体のようなもの。うまい例を思いつかないから，本に載ってるのをそのまま書くとこんな感じ。

 data Point = Pt {x :: Integer, y :: Integer}

x，y をフィールドといい，それぞれ Integer 型の値を取る。具体的に値を定義するにはこうする。

 Pt { x = 1, y = 4 }

代数的データ型を使っても同じようなことはできる。データ構成子が複数の引数を取ることにすればいいし，タプルにしてもいい。これらとレコードが違うのは２点。

• 名前がついているのでわかりやすい。
• フィールド名が，同時にフィールドにアクセスするための関数になっている。

２つ目のほうはこんな感じだ。

 *Main> x Pt {x = 2, y = 3}
 2

x という関数が定義されてるってことだな。

 *Main> :t x
 x :: Point -> Integer

さて，じゃあおなじフィールド名を持つレコードを宣言するとどうなるか。

 data TP = Tp { x :: Int, y :: Int } deriving (Eq, Show)
 
 data Point = Pt { x :: Integer, y :: Integer } deriving (Eq, Show)

これを GHCi にロードすると

 Prelude> :l record.hs
 Compiling Main             ( record.hs, interpreted )
 
 record.hs:3:18:
     Multiple declarations of `Main.x'
     Declared at: record.hs:1:15
                  record.hs:3:18
 
 record.hs:3:32:
     Multiple declarations of `Main.y'
     Declared at: record.hs:1:25
                  record.hs:3:32
 Failed, modules loaded: none.

あー，やっぱりだめなわけね。