近年注目を集めているプログラミング言語 OCaml について包括的に解説しています。 著者による大学の講義ノートを元にして書かれているので読みやすいです。これに加えてモジュール/ファンクタ、多相バリアント、ラベル付き引数、オブジェクト指向など、MLやOCamlならではの機能も追記され、OCamlの機能が広く網羅されています。ページ数が多く内容も濃い、OCaml本の決定版といえると思います。
OCamlの言語仕様はかなりの部分で固まっており、5年経った今でも本書の内容は有効です。ただ国内で近年続いている「関数型言語」ブームのやや初期ともいえる時期（2007年）に出版されたためか、現在は絶版になっている「早すぎた一冊」という感があります。今付け加えるとすれば第一級モジュールやGADTなど、かなりadvancedな機能ですね。
関数プログラミングを学ぶだけでなく、静的型付けと多相性（アドホック/パラメータ/サブタイプ多相）、型推論など、OCamlや他の静的型付け関数型言語の基礎となるトピックスを抑えておくのにも良いです。
OCamlを扱った書籍には他にもあるものの、言語それ自体の可能性を学ぶのに最適な一冊です。