• The OCaml language
• Language extensions

Chapter 12 Language extensions

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

• 1 Recursive definitions of values
• 2 Recursive modules
• 3 Private types
• 4 Locally abstract types
• 5 First-class modules
• 6 Recovering the type of a module
• 7 Substituting inside a signature
• 8 Type-level module aliases
• 9 Overriding in open statements
• 10 Generalized algebraic datatypes
• 11 Syntax for Bigarray access
• 12 Attributes
• 13 Extension nodes
• 14 Extensible variant types
• 15 Generative functors
• 16 Extension-only syntax
• 17 Inline records
• 18 Documentation comments
• 19 Extended indexing operators
• 20 Empty variant types
• 21 Alerts
• 22 Generalized open statements
• 23 Binding operators
• 24 Effect handlers
• 25 Type-directed disambiguation of array literals
• 26 Labeled tuples