■内容紹介 (* プログラミングがもっと楽しくなるOCamlの世界へようこそ! *) OCamlはフランスのINRIAで開発された、Haskellなどと同じく強力な型定義を持つ関数型のプログラミング言語です。型理論(型推論と型安全)、柔軟で強力な型システム、モジュールシステムをベースとしたオブジェクト指向機能など、強力な表現を可能としています。 OCamlのような型付き関数型言語は主に教育や研究に利用されてきましたが、ソフトウェアの複雑さが増してきた昨今、上記のメリットは多くのプログラマにとってうれしいはずです。世界各地で関数型プログラミング言語の利用が広がり始めています。 本書ではまずOCamlの基礎的な事項を習得し、少ない機能でも複雑なプログラムを安全に書けることを体験できます。プログラムの構成手法や抽象化を支援する仕組みに興味がある場合は、モジュールシステムやオブジェクト指向機