パート 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. int32, int64 と nativeint 型の 整数リテラル (Integer literals for types int32, int64 and nativeint)
7.2. ストリームとストリームパーザ (Streams and stream parsers)
7.3. 値の再帰的定義 (Recursive definitions of values)
7.4. レンジ パターン (Range patterns)
7.5. アサーション チェック (Assertion checking)
7.6. 遅延評価 (Lazy evaluation)
7.7. ローカル モジュール (Local modules)
7.8. プライベート型 (Private types)
7.9. 再帰的モジュール (Recursive modules)
7.10. プライベート 列型 (Private row types)