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

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

• 10.1 Рекурсивные определения значений
• 10.2 Рекурсивные модули
• 10.3 Закрытые типы
• 10.4 Локально абстрактные типы
• 10.5 Модули первого класса
• 10.6 Восстановление типа модуля
• 10.7 Подстановка внутри сигнатуры
• 10.8 Модульные псевдонимы на уровне типов
• 10.9 Переопределение в операторах open
• 10.10 Обобщенные алгебраические типы данных
• 10.11 Синтаксис доступа к Bigarray
• 10.12 Атрибуты
• 10.13 Узлы расширений
• 10.14 Расширяемые типы вариантов
• 10.15 Генеративные функторы
• 10.16 Синтаксис только для расширений
• 10.17 Встроенные записи
• 10.18 Комментарии к документации
• 10.19 Расширенные операторы индексирования
• 10.20 Типы пустых вариантов
• 10.21 Предупреждения
• 10.22 Обобщенные операторы open
• 10.23 Операторы связывания