Spec-Zone.ru › OCaml 5.0
Система 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

Данное руководство также доступно в формате PDF, простом тексте, в виде пакета HTML-файлов и в виде пакета файлов Emacs Info.
  • Содержание
  • Предисловие

Часть 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 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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API