Nothing Special »
Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
☰
The OCaml system
release 5.2
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
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 runtime events
26.
The “Tail Modulo Constructor” program transformation
27.
Runtime detection of data races with ThreadSanitizer
IV.
The OCaml library
28.
The core library
29.
The standard library
30.
The compiler front-end
31.
The unix library: Unix system calls
32.
The str library: regular expressions and string processing
33.
The runtime_events library
34.
The threads library
35.
The dynlink library: dynamic loading and linking of object files
36.
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