NoFieldSelectors

何が変わるのか

code:hs

data Foo = FooC { baz :: Int }

このような型を定義すると以下のものが導入される

code:hs

foo1 = Foo { baz = 1 }

code:hs

update :: Foo -> Int -> Foo

update foo newId = foo { baz = newId }

code:hs

patt = \case

Foo { baz = 1 } -> ...

...

code:hs

get :: Foo -> Int

get = baz

何が嬉しいのか

getterを無効化するので、そのfieldの値にはアクセスできなくなる

それは困るので、他の拡張と併用して使うことになる

exportとの兼ね合い

もし、NoFIeldSelectorsによって↑この辺が不要になるのであれば、その旨の各ノートにメモっておきたい

参考