昨日のHaskell読書会の行き帰りの電車の中で読もうかと思ったけど、そんな軽い本じゃなかった。
かなり濃いめな感じの本だ。
- 第1章 二分ヒープ木の楽しみ
- 第2章 仕様に基づくテスト ??? QuickCheckを使って
- 第3章 おりがみプログラミング
- 第4章 Haskellで音楽を記述し解釈する
- 第5章 融合変換を自動化する
- 第6章 金融取引契約の書き方
- 第7章 関数画像
- 第8章 Lava:関数によるハードウェア記述
- 第9章 論理プログラミングのためのコンビネータ
- 第10章 アローと計算
- 第11章 もっと整ったプリティプリンタ
- 第12章 ファントム型を楽しむ