Система OCaml
выпуск 5.0
Документация и руководство пользователя
Xavier Leroy,
Damien Doligez, Alain Frisch, Jacques Garrigue,
Didier Rémy, KC Sivaramakrishnan и Jérôme Vouillon
20годекабря 2022 г.
Авторское право © 2022 Institut National de Recherche en Informatique et en Automatique
выпуск 5.0
Документация и руководство пользователя
Xavier Leroy,
Damien Doligez, Alain Frisch, Jacques Garrigue,
Didier Rémy, KC Sivaramakrishnan и Jérôme Vouillon
20годекабря 2022 г.
Авторское право © 2022 Institut National de Recherche en Informatique et en Automatique
Данное руководство также доступно в формате PDF, простом тексте, в виде пакета HTML-файлов и в виде пакета файлов Emacs Info.
Часть I Введение в OCaml
- Глава 1 Основной язык
- Глава 2 Система модулей
- Глава 3 Объекты в OCaml
- Глава 4 Именованные аргументы
- Глава 5 Полиморфные варианты
- Глава 6 Полиморфизм и его ограничения
- Глава 7 Обобщённые алгебраические типы данных
- Глава 8 Расширенные примеры с классами и модулями
- Глава 9 Параллельное программирование
- Глава 10 Модель памяти: сложные моменты
Часть II Язык OCaml
Часть 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 Fuzzing с afl-fuzz
- Глава 25 Отслеживание выполнения с событиями времени выполнения
- Глава 26 Преобразование программы «Tail Modulo Constructor»
Часть IV Библиотека OCaml
- Глава 27 Базовая библиотека
- Глава 28 Стандартная библиотека
- Глава 29 Фронтенд компилятора
- Глава 30 Библиотека unix: вызовы системы Unix
- Глава 31 Библиотека str: регулярные выражения и обработка строк
- Глава 32 Библиотека runtime_events
- Глава 33 Библиотека потоков
- Глава 34 Библиотека dynlink: динамическая загрузка и компоновка объектных файлов
- Глава 35 Недавно удалённые или перемещённые библиотеки (Graphics, Bigarray, Num, LablTk)
Часть V Индексы
Этот документ был переведён из LATEX с помощью HEVEA.
© 1995-2022 INRIA.
https://v2.ocaml.org/releases/5.0/htmlman/index.html