基本文法からアプリケーション作成までしっかりわかる関数型の技法。関数・副作用・型・モナド・非正格評価、すべてを書いて理解する。