入門OCaml / プログラミング基礎と実践理解

型理論に基づいた安全性、柔軟で強力な型システム、モジュールシステムをベースとしたオブジェクト指向機能など強力な表現を可能とする、新しいタイプのプログラミング言語OCaml(ObjectiveCaml)。表現力と安全性のバランスに優れた、プログラミングの世界を実体験。