• Содержание
• Предисловие

I. Введение в OCaml

• 1. Основной язык
• 2. Система модулей
• 3. Объекты в OCaml
• 4. Именованные аргументы
• 5. Полиморфные варианты
• 6. Полиморфизм и его ограничения
• 7. Обобщённые алгебраические типы данных
• 8. Расширенные примеры с классами и модулями
• 9. Параллельное программирование
• 10. Модель памяти: сложные аспекты

II. Язык OCaml

• 11. Язык OCaml
• 12. Расширения языка

III. Инструменты OCaml

• 13. Пакетная компиляция (ocamlc)
• 14. Система верхнего уровня, или REPL (ocaml)
• 15. Система выполнения (ocamlrun)
• 16. Компиляция в машинный код (ocamlopt)
• 17. Генераторы лексических анализаторов и парсеров (ocamllex, ocamlyacc)
• 18. Генератор зависимостей (ocamldep)
• 19. Генератор документации (ocamldoc)
• 20. Отладчик (ocamldebug)
• 21. Отладка машинного кода (gdb, lldb)
• 22. Профилирование (ocamlprof, perf)
• 23. Взаимодействие C и OCaml
• 24. Оптимизация с помощью Flambda
• 25. Фаззинг с помощью afl-fuzz
• 26. Трассировка системы выполнения с помощью событий runtime
• 27. Преобразование программы «Tail Modulo Constructor»
• 28. Обнаружение гонок данных во время выполнения с помощью ThreadSanitizer

IV. Библиотека OCaml

• 29. Основная библиотека
• 30. Стандартная библиотека
• 31. Фронтенд компилятора
• 32. Библиотека unix: системные вызовы Unix
• 33. Библиотека str: регулярные выражения и обработка строк
• 34. Библиотека runtime_events
• 35. Библиотека потоков
• 36. Библиотека dynlink: динамическая загрузка и связывание объектных файлов
• 37. Недавно удалённые или перемещённые библиотеки (Graphics, Bigarray, Num, LablTk)

V. Указатели

• Указатель модулей
• Указатель типов модулей
• Указатель типов
• Указатель исключений
• Указатель значений

• Указатель ключевых слов