The OCaml system release 4.09

September 11, 2019

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

I. An introduction to OCaml

1. The core language
2. The module system
3. Objects in OCaml
4. Labels and variants
5. Polymorphism and its limitations
6. Advanced examples with classes and modules

II. The OCaml language

7. The OCaml language
8. Language extensions

III. The OCaml tools

9. Batch compilation (ocamlc)
10. The toplevel system or REPL (ocaml)
11. The runtime system (ocamlrun)
12. Native-code compilation (ocamlopt)
13. Lexer and parser generators (ocamllex, ocamlyacc)
14. Dependency generator (ocamldep)
15. The browser/editor (ocamlbrowser)
16. The documentation generator (ocamldoc)
17. The debugger (ocamldebug)
18. Profiling (ocamlprof)
19. The ocamlbuild compilation manager
20. Interfacing C with OCaml
21. Optimisation with Flambda
22. Memory profiling with Spacetime
23. Fuzzing with afl-fuzz

IV. The OCaml library

24. The core library
25. The standard library
26. The compiler front-end
27. The unix library: Unix system calls
28. The num library: arbitrary-precision rational arithmetic
29. The str library: regular expressions and string processing
30. The threads library
31. The graphics library
32. The dynlink library: dynamic loading and linking of object files
33. 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.