The OCaml system, release 4.00

The OCaml system
release 4.00
Documentation and user’s manual
Xavier Leroy,
Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon
July 26, 2012
Copyright © 2012 Institut National de Recherche en Informatique et en Automatique

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

- Contents
- Foreword

# 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

> This document was translated from LATEX by HEVEA.