Authors:

Graham Hutton

#Programming #Book

Lambda Note

第I部 基礎概念

第1章 導入

第2章 はじめの一歩

第3章 型と型クラス

第4章 関数定義

第5章 リスト内包表記

第6章 再帰関数

第7章 高階関数

第8章 型と型クラスの定義

• newtype

第9章 カウントダウン問題

第II部 高度な話題

第10章 対話プログラム

第11章 負けない三目並べ

第12章 モナドなど

第13章 モナドパーサー

第14章 Foldable とTraversable

第15章 遅延評価

第16章 プログラムの論証

第17章 コンパイラーの算出