☰
The OCaml system
release 5.0
September, 2022
This manual is also available in
PDF
,
plain text
, as a
bundle of HTML files
, and as a
bundle of Emacs Info files
.
Select another version
The OCaml Manual
Contents
Foreword
Index of keywords
OCaml API
OCaml Compiler API
Contents
Foreword
I.
An introduction to OCaml
1.
The core language
2.
The module system
3.
Objects in OCaml
4.
Labeled arguments
5.
Polymorphic variants
6.
Polymorphism and its limitations
7.
Generalized algebraic datatypes
8.
Advanced examples with classes and modules
9.
Parallel programming
10.
Memory model: The hard bits
II.
The OCaml language
11.
The OCaml language
12.
Language extensions
III.
The OCaml tools
13.
Batch compilation (ocamlc)
14.
The toplevel system or REPL (ocaml)
15.
The runtime system (ocamlrun)
16.
Native-code compilation (ocamlopt)
17.
Lexer and parser generators (ocamllex, ocamlyacc)
18.
Dependency generator (ocamldep)
19.
The documentation generator (ocamldoc)
20.
The debugger (ocamldebug)
21.
Profiling (ocamlprof)
22.
Interfacing C with OCaml
23.
Optimisation with Flambda
24.
Fuzzing with afl-fuzz
25.
Runtime tracing with the instrumented runtime
26.
The “Tail Modulo Constructor” program transformation
IV.
The OCaml library
27.
The core library
28.
The standard library
29.
The compiler front-end
30.
The unix library: Unix system calls
31.
The str library: regular expressions and string processing
32.
The threads library
33.
The dynlink library: dynamic loading and linking of object files
34.
Recently removed or moved libraries (Graphics, Bigarray, Num, LablTk)
V.
Indexes
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
Copyright © 2022 Institut National de Recherche en Informatique et en Automatique