パート II. The Objective Caml language

目次

6. The Objective Caml language
6.1. 字句
6.2. 値
6.3. 名前
6.4. 型式
6.5. 定数
6.6. パターン
6.7. 式
6.8. 型と例外の定義
6.9. クラス
6.10. モジュール型
6.11. モジュール式
6.12. 翻訳単位
7. Language extensions
7.1. int32int64nativeint 型の 整数リテラル
7.2. ストリームとストリームパーサー
7.3. 値の再帰的定義
7.4. 範囲パターン
7.5. 表明の検査
7.6. 遅延評価
7.7. 局所モジュール
7.8. 再帰モジュール
7.9. private な型
7.10. 局所的 open
7.11. レコードの記法
7.12. 多相型アノテーション
7.13. 型変数の命名
7.14. 第一級のモジュール
7.15. モジュールの型の復元
7.16. シグネチャ内での代入
7.17. クラス定義中でのオーバーライドの明示