☰
The OCaml system
release 4.14
February, 2024
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
II.
The OCaml language
9.
The OCaml language
10.
Language extensions
III.
The OCaml tools
11.
Batch compilation (ocamlc)
12.
The toplevel system or REPL (ocaml)
13.
The runtime system (ocamlrun)
14.
Native-code compilation (ocamlopt)
15.
Lexer and parser generators (ocamllex, ocamlyacc)
16.
Dependency generator (ocamldep)
17.
The documentation generator (ocamldoc)
18.
The debugger (ocamldebug)
19.
Profiling (ocamlprof)
20.
Interfacing C with OCaml
21.
Optimisation with Flambda
22.
Fuzzing with afl-fuzz
23.
Runtime tracing with the instrumented runtime
24.
The “Tail Modulo Constructor” program transformation
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 str library: regular expressions and string processing
30.
The threads library
31.
The dynlink library: dynamic loading and linking of object files
32.
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 © 2024 Institut National de Recherche en Informatique et en Automatique