拡張可能レコードでレコード型を拡縮する (Haskell)

「extensible パッケージの楽しみ その１」です． 拡張可能レコードやら Extensible Effect やら，Haskell の Extensible なものを全て統一された仕組みで提供する化け物パッケージ extensible について，割とドキュメントには無い(？)ネタを書いておくシリーズ第一弾です． ぼく自身は作者ではないし，間違っているかもなのでこの記事を完全には当てにしないでください． ちなみに，作者様の有り難い日本語ドキュメントは以下の通り(古い順)． ぼくのかんがえた最強の拡張可能レコード - モナドとわたしとコモナド 割とすぐに始められるextensibleチュートリアル(レコード編) - モナドとわたしとコモナド 波打たせるものの正体(エクステンシブル・タングル) - モナドとわたしとコモナド また，現在の最新バージョンは 0.4.6 です(そのバージョンで

[Nnwww]

作者のfumiさん以外が書いた使用法文書(ここ重要)、英訳してtutorialモジュールにしてPR送ったらHaskell/GHC界のかなり大きい貢献だと思います…パラダイムが進み得る…

[Windymelt]

extensible record

[Haaaa_N]

やっぱりすごいな

[igrep]

すばらしい。