関数プログラミングが最高の技法である理由は、関数プログラムを数学的に考察できる点にある。本書を読むことで、関数プログラミングの本質を身に着け、Haskellの真の能力を理解できるだろう。
第1章 関数プログラミングとは何か
第2章 式,型,値
第3章 数値
第4章 リスト
第5章 単純な数独ソルバー
第6章 証明
第7章 効率
第8章 プリティプリント
第9章 無限リスト
第10章 命令的関数プログラミング
第11章 構文解析
第12章 単純等式運算器
ISBN: 9784048930536ASIN: 4048930532