内容説明
型理論に基づいた安全性、柔軟で強力な型システム、モジュールシステムをベースとしたオブジェクト指向機能など強力な表現を可能とする、新しいタイプのプログラミング言語ＯＣａｍｌ（ＯｂｊｅｃｔｉｖｅＣａｍｌ）。表現力と安全性のバランスに優れた、プログラミングの世界を実体験。
目次
１章 ＯＣａｍｌに触れる
２章 言語の基礎
３章 型を理解する
４章 モジュールシステム
５章 オブジェクト指向機能
６章 標準ライブラリの利用
７章 ＯＣａｍｌで作ってみよう―ＭｙＳＱＬと連係したバグトラックシステム
８章 ＯＣａｍｌあれこれ散策
