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

В этой главе описаны расширения языка и удобные функции, реализованные в OCaml, но не описанные в главе 11.

• 12.1 Рекурсивные определения значений
• 12.2 Рекурсивные модули
• 12.3 Секретные типы
• 12.4 Локально абстрактные типы
• 12.5 Модули первого класса
• 12.6 Получение типа модуля
• 12.7 Подстановка внутри сигнатуры
• 12.8 Модульные псевдонимы на уровне типов
• 12.9 Переопределение в операторах open
• 12.10 Обобщенные алгебраические типы данных
• 12.11 Синтаксис доступа к Bigarray
• 12.12 Атрибуты
• 12.13 Узлы расширения
• 12.14 Расширяемые типы вариантов
• 12.15 Генеративные функторы
• 12.16 Синтаксис только для расширений
• 12.17 Встроенные записи
• 12.18 Комментарии к документации
• 12.19 Расширенные операторы индексирования
• 12.20 Типы пустых вариантов
• 12.21 Предупреждения
• 12.22 Обобщенные операторы open
• 12.23 Операторы связывания
• 12.24 Обработчики эффектов