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

Глава 12. Расширения языка

В этой главе описаны расширения языка и дополнительные возможности, реализованные в OCaml, но не рассмотренные в главе 11.

• 1 Рекурсивные определения значений
• 2 Рекурсивные модули
• 3 Приватные типы
• 4 Локально абстрактные типы
• 5 Функции, зависящие от модулей, и модули первого класса
• 6 Получение типа модуля
• 7 Подстановка внутри сигнатуры
• 8 Псевдонимы модулей на уровне типов
• 9 Переопределение в операторах open
• 10 Обобщённые алгебраические типы данных
• 11 Синтаксис доступа к Bigarray
• 12 Атрибуты
• 13 Узлы расширения
• 14 Расширяемые вариантные типы
• 15 Генеративные функторы
• 16 Синтаксис только для расширений
• 17 Встроенные записи
• 18 Комментарии документации
• 19 Расширенные операторы индексации
• 20 Пустые вариантные типы
• 21 Предупреждения
• 22 Обобщённые операторы open
• 23 Операторы связывания
• 24 Обработчики эффектов
• 25 Дизамбигуация литералов массивов на основе типа
• 26 Кортежи с метками
• 27 Внешние типы