関数プログラミングの考え方・思考法を学ぶ！関数プログラミングが最高の技法である理由は、関数プログラムを数学的に考察できる点にある。本書を読むことで、関数プログラミングの本質を身に着け、Haskellの真の能力を理解できるだろう。
第1章 関数プログラミングとは何か
第2章 式，型，値
第3章 数値
第4章 リスト
第5章 単純な数独ソルバー
第6章 証明
第7章 効率
第8章 プリティプリント
第9章 無限リスト
第10章 命令的関数プログラミング
第11章 構文解析
第12章 単純等式運算器
Richard Bird［リチャード バード］
オックスフォード大学名誉教授、同大学リンカーンカレッジフェロー。
関心分野：プログラミングの代数、仕様からのアルゴリズム運算、関数プログラミング、アルゴリズムデザイン。
山下伸夫［ヤマシタノブオ］
聖徳大学准教授、株式会社タイムインターメディア顧問。
関心分野：関数プログラミング言語設計、Haskellによる関数プログラミング、Haskellを通じてプログラミングの楽しさをどう伝えるか。
