The OCaml system release 4.00

July 26, 2012

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.

Part I
An introduction to OCaml

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

Part II
The OCaml language

The OCaml language
Language extensions

Part 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

Part IV
The OCaml library

The core library
The standard library
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 LablTk library: Tcl/Tk GUI interface
The bigarray library

Part 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.

The OCaml system release 4.00

July 26, 2012

Part I An introduction to OCaml

Part II The OCaml language

Part III The OCaml tools

Part IV The OCaml library

Part V Appendix

Part I
An introduction to OCaml

Part II
The OCaml language

Part III
The OCaml tools

Part IV
The OCaml library

Part V
Appendix