The OCaml system release 4.04

November 4, 2016

This manual is also available in PDF. Postscript, DVI, plain text, as a bundle of HTML files, and as a bundle of Emacs Info files.

I. An introduction to OCaml

The core language
The module system
Objects in OCaml
Labels and variants
Advanced examples with classes and modules

II. The OCaml language

The OCaml language
Language extensions

III. The OCaml tools

Batch compilation (ocamlc)
The toplevel system (ocaml)
The runtime system (ocamlrun)
Native-code compilation (ocamlopt)
Lexer and parser generators (ocamllex, ocamlyacc)
Dependency generator (ocamldep)
The browser/editor (ocamlbrowser)
The documentation generator (ocamldoc)
The debugger (ocamldebug)
Profiling (ocamlprof)
The ocamlbuild compilation manager
Interfacing C with OCaml
Optimisation with Flambda
Memory profiling with Spacetime

IV. The OCaml library

The core library
The standard library
The compiler front-end
The unix library: Unix system calls
The num library: arbitrary-precision rational arithmetic
The str library: regular expressions and string processing
The threads library
The graphics library
The dynlink library: dynamic loading and linking of object files
The bigarray library

V. Appendix

Index of modules
Index of module types
Index of types
Index of exceptions
Index of values

Index of keywords

Xavier Leroy,
Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon

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