haskell-jp / random #88 at 2021-03-09 22:07:01 +0900

GHCのmasterブランチに、RecordDotの現時点の実装が入りました。 (masterをビルドすると試せます。)
最初のRecordDotSyntaxの提案は修正されて、2つの言語拡張に分割されています。
OverloadedRecordDotOverloadedRecordUpdate です。
分割の提案はこちら。
Split RecordDotSyntax into two extensions
https://github.com/ghc-proposals/ghc-proposals/pull/405
なお、`OverloadedRecordUpdate` 側は、将来的に変更され得る実験段階の扱いです。
しばらくは経験を積んで知見を高めながら、仕様&実装変更して行くようです。
各々のコード例などは、以下です。
https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/overloaded_record_dot.html
https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/overloaded_record_update.html

こういうセクション記法も可能になります。
f = map (.name) xs