• 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