The OCaml system release 4.08

August 6, 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
24. Compiler plugins

IV. The OCaml library

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