FOP - 第１２章 ファントム型を楽しむ

総称的プログラミングや動的な値を静的型付けの下で扱う．

1. 二分ヒープ木の楽しみ
2. 仕様に基づくテスト
3. おりがみプログラミング
4. Haskellで音楽を記述し解釈する
5. 融合変換を自動化する
6. 金融取引契約の書き方
7. 関数画像
8. Lava: 関数によるハードウェアの記述
9. 論理プログラミングのためのコンビネータ
10. アローと計算
11. もっと整ったプリティプリンタ
12. ファントム型を楽しむ