DuplicateRecordFields
重複したfieldを持つHaskellのRecordを定義できるようにする
OverloadedRecordFieldsの3分割されたものの1つ
このように定義できる
hs{-# LANGUAGE DuplicateRecordFields #-}
data Foo = Foo { hoge :: Int }
data Bar = Bar { hoge :: Float }ただし利用時には型を明記する必要がある
hsmain = do
let x = Foo 1
print $ hoge (x :: Foo) -- ok
print $ hoge x -- error自前のgetterを定義したらこんな感じになる
hsfooHoge = hoge -- (もちろん)errorhsfooHoge :: Foo -> Int
fooHoge foo = hoge (foo :: Foo) -- okhsfooHoge :: Foo -> Int
fooHoge = hoge -- okHsfooHoge :: Foo -> Int
fooHoge foo = hoge foo -- errorなんで最後のあかんねや
パターンマッチとかは理想通り使える
hsf Foo {hoge = hoge} = hogeHaskellのRecordで導入される6つのものの内、getterが渋いだけであとは割と便利になる感じか