レコード

レコードは代数的でないデータ型。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.

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