OCamlは，フランスのINRIAで開発された関数型言語です。実行速度も速く，バグも作りにくい言語構造となっているため，一番実用的な関数言語といわれています。本書は，このOCamlを通じて関数型言語のプログラミングを学ぶとともに，OCamlならではの実用的なプログラミングについて解説しています。