fumiexcel https://blog.hatena.ne.jp/fumiexcel/ モナドとわたしとコモナド https://fumieval.hatenablog.com/ ごきげんよう諸君。今回はextensibleについて説明しよう。 extensibleはその名の通り、拡張可能なデータ構造を提供するライブラリである。具体的には、型レベルのリストによって特徴づけられる積と和を提供する。非常に残念なことに、GHC 8.0.1ではコンパイラのバグのせいでそもそもライブラリがビルドできない*1。来たる8.0.2では修正されているので、それを待つほかない。 とにかく、ここでは積の応用技である拡張可能レコードについて紹介する。使い方は簡単だ。まず使いたいフィールド名をスペースで区切ってmkFieldに渡す。 {-# LANGUAGE TemplateHaskell, D… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffumieval.hatenablog.com%2Fentry%2F2016%2F10%2F10%2F000011" title="割とすぐに始められるextensibleチュートリアル(レコード編) - モナドとわたしとコモナド" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-10-10 00:00:11 rich https://fumieval.hatenablog.com/entry/2016/10/10/000011 1.0 100%