第 8 章  Language extensions

This chapter describes language extensions and convenience features that are implemented in OCaml, but not described in the OCaml reference manual.

• 8.1  Recursive definitions of values
• 8.2  Lazy patterns
• 8.3  Recursive modules
• 8.4  Private types
• 8.5  Local opens for patterns
• 8.6  Object copy short notations
• 8.7  Locally abstract types
• 8.8  First-class modules
• 8.9  Recovering the type of a module
• 8.10  Substituting inside a signature
• 8.11  Type-level module aliases
• 8.12  Overriding in open statements
• 8.13  Generalized algebraic datatypes
• 8.14  Syntax for Bigarray access
• 8.15  Attributes
• 8.16  Extension nodes
• 8.17  Extensible variant types
• 8.18  Generative functors
• 8.19  Extension-only syntax
• 8.20  Inline records
• 8.21  Documentation comments
• 8.22  Extended indexing operators
• 8.23  Empty variant types