The OCaml system
release 4.10
Documentation and user’s manual
Xavier Leroy,
Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon
February 21, 2020
Copyright © 2020 Institut National de Recherche en Informatique et en Automatique
release 4.10
Documentation and user’s manual
Xavier Leroy,
Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon
February 21, 2020
Copyright © 2020 Institut National de Recherche en Informatique et en Automatique
This manual is also available in PDF. plain text, as a bundle of HTML files, and as a bundle of Emacs Info files.
Part I |
- Chapter 1 The core language
- Chapter 2 The module system
- Chapter 3 Objects in OCaml
- Chapter 4 Labels and variants
- Chapter 5 Polymorphism and its limitations
- Chapter 6 Advanced examples with classes and modules
Part II |
Part III |
- Chapter 9 Batch compilation (ocamlc)
- Chapter 10 The toplevel system or REPL (ocaml)
- Chapter 11 The runtime system (ocamlrun)
- Chapter 12 Native-code compilation (ocamlopt)
- Chapter 13 Lexer and parser generators (ocamllex, ocamlyacc)
- Chapter 14 Dependency generator (ocamldep)
- Chapter 15 The browser/editor (ocamlbrowser)
- Chapter 16 The documentation generator (ocamldoc)
- Chapter 17 The debugger (ocamldebug)
- Chapter 18 Profiling (ocamlprof)
- Chapter 19 The ocamlbuild compilation manager
- Chapter 20 Interfacing C with OCaml
- Chapter 21 Optimisation with Flambda
- Chapter 22 Memory profiling with Spacetime
- Chapter 23 Fuzzing with afl-fuzz
Part IV |
- Chapter 24 The core library
- Chapter 25 The standard library
- Chapter 26 The compiler front-end
- Chapter 27 The unix library: Unix system calls
- Chapter 28 The num library: arbitrary-precision rational arithmetic
- Chapter 29 The str library: regular expressions and string processing
- Chapter 30 The threads library
- Chapter 31 The graphics library
- Chapter 32 The dynlink library: dynamic loading and linking of object files
- Chapter 33 The bigarray library
Part V |
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.