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

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. Профилирование (ocamlprof)
• 22. Интерфейсирование C с OCaml
• 23. Оптимизация с помощью Flambda
• 24. Тестирование на уязвимость с помощью afl-fuzz
• 25. Отслеживание выполнения с помощью событий времени выполнения
• 26. Преобразование программы «Tail Modulo Constructor»
• 27. Обнаружение гонок данных во время выполнения с помощью ThreadSanitizer

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

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

V. Индексы

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

• Индекс ключевых слов