OCamlOCaml
  • Learn
  • Documentation
  • Packages
  • Community
  • News
Edit this page

                
#
  • en
  • The OCaml language
  • Language extensions

Chapter 8  Language extensions

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

OCaml
Version 4.10
Language extensions
  • Top
  • 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

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.

Learn

  • Code Examples
  • Tutorials
  • Books
  • Success Stories

Documentation

  • Install
  • Manual
  • Packages
  • Compiler Releases
  • Logos

Community

  • Mailing Lists
  • Meetings
  • News
  • Support
  • Bug Tracker

Website

  • Edit this page
  • Website Issues
  • About This Site
  • Find Us on GitHub
  • Credits