1. The core language

1.1. 基本
1.2. データ型
1.3. 値としての関数
1.4. レコードとバリアント
1.5. 命令型の機能
1.6. 例外
1.7. 数式の記号処理
1.8. pretty-print と構文解析
1.9. スタンドアロン Caml プログラム

本章は Objective Caml のチュートリアルです。手続き型言語(Pascal や C)に詳しいことを前提としますが、特に関数型言語に詳しい必要はありません。 3 章「Caml におけるオブジェクト ではオブジェクト指向の特徴、 2 章「モジュールシステム ではモジュールシステムについて解説します。