• Язык программирования 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 Обработчики эффектов