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)

この章では Objective Caml で実装されているがリファレンスマニュアルで説明されていない言語拡張や便利な機能を説明します。