Содержание

• Часть I Введение в OCaml
  • Глава 1 Ядро языка
    • 1.1 Основы
    • 1.2 Типы данных
    • 1.3 Функции как значения
    • 1.4 Записи и варианты
      • 1.4.1 Разрешение неоднозначностей для записей и вариантов
    • 1.5 Императивные возможности
    • 1.6 Исключения
    • 1.7 Ленивые выражения
    • 1.8 Символьная обработка выражений
    • 1.9 Красивая печать
    • 1.10 Форматы Printf
    • 1.11 Программы OCaml для самостоятельного выполнения
  • Глава 2 Система модулей
    • 2.1 Структуры
    • 2.2 Подписи
    • 2.3 Функторы
    • 2.4 Функторы и абстракция типов
    • 2.5 Модули и самостоятельная компиляция
  • Глава 3 Объекты в OCaml
    • 3.1 Классы и объекты
    • 3.2 Непосредственные объекты
    • 3.3 Ссылка на себя
    • 3.4 Инициализаторы
    • 3.5 Виртуальные методы
    • 3.6 Приватные методы
    • 3.7 Интерфейсы классов
    • 3.8 Наследование
    • 3.9 Многократное наследование
    • 3.10 Параметризованные классы
    • 3.11 Полиморфные методы
    • 3.12 Использование преобразований
    • 3.13 Функциональные объекты
    • 3.14 Клонирование объектов
    • 3.15 Рекурсивные классы
    • 3.16 Бинарные методы
    • 3.17 Друзья
  • Глава 4 Именованные аргументы
    • 4.1 Необязательные аргументы
    • 4.2 Метки и вывод типов
    • 4.3 Рекомендации по именованию
  • Глава 5 Полиморфные варианты
    • 5.1 Базовое использование
    • 5.2 Расширенное использование
    • 5.3 Слабые стороны полиморфных вариантов
  • Глава 6 Полиморфизм и его ограничения
    • 6.1 Слабый полиморфизм и мутации
      • 6.1.1 Слабо полиморфные типы
      • 6.1.2 Ограничение на значения
      • 6.1.3 Смягченное ограничение на значения
      • 6.1.4 Вариативность и ограничение на значения
      • 6.1.5 Абстрактные типы данных
    • 6.2 Полиморфная рекурсия
      • 6.2.1 Явные полиморфные аннотации
      • 6.2.2 Дополнительные примеры
    • 6.3 Полиморфные функции высшего порядка
  • Глава 7 Обобщенные алгебраические типы данных
    • 7.1 Рекурсивные функции
    • 7.2 Вывод типов
    • 7.3 Случаи опровержения
    • 7.4 Расширенные примеры
    • 7.5 Существующие имена типов в сообщениях об ошибках
    • 7.6 Явное именование существований
    • 7.7 Уравнения на нелокальных абстрактных типах
  • Глава 8 Расширенные примеры с классами и модулями
    • 8.1 Расширенный пример: банковские счета
    • 8.2 Простые модули как классы
      • 8.2.1 Строки
      • 8.2.2 Hashtbl
      • 8.2.3 Множества
    • 8.3 Паттерн «предмет/наблюдатель»

• Часть II Язык OCaml
  • Глава 9 Язык OCaml
    • 9.1 Лексические соглашения
    • 9.2 Значения
      • 9.2.1 Базовые значения
      • 9.2.2 Кортежи
      • 9.2.3 Записи
      • 9.2.4 Массивы
      • 9.2.5 Вариантные значения
      • 9.2.6 Полиморфные варианты
      • 9.2.7 Функции
      • 9.2.8 Объекты
    • 9.3 Имена
    • 9.4 Выражения типов
    • 9.5 Константы
    • 9.6 Шаблоны
    • 9.7 Выражения
      • 9.7.1 Приоритет и ассоциативность
      • 9.7.2 Базовые выражения
      • 9.7.3 Конструкции управления
      • 9.7.4 Операции над структурами данных
      • 9.7.5 Операторы
      • 9.7.6 Объекты
      • 9.7.7 Приведения типов
      • 9.7.8 Другое
    • 9.8 Определения типов и исключений
      • 9.8.1 Определения типов
      • 9.8.2 Определения исключений
    • 9.9 Классы
      • 9.9.1 Типы классов
      • 9.9.2 Выражения классов
      • 9.9.3 Определения классов
      • 9.9.4 Спецификации классов
      • 9.9.5 Определения типов классов
    • 9.10 Типы модулей (спецификации модулей)
      • 9.10.1 Простые типы модулей
      • 9.10.2 Сигнатуры
      • 9.10.3 Типы функторов
      • 9.10.4 Оператор with
    • 9.11 Выражения модулей (реализации модулей)
      • 9.11.1 Простые выражения модулей
      • 9.11.2 Структуры
      • 9.11.3 Функторы
    • 9.12 Единицы компиляции
  • Глава 10 Расширения языка
    • 10.1 Рекурсивные определения значений
    • 10.2 Рекурсивные модули
    • 10.3 Приватные типы
      • 10.3.1 Приватные вариантные и записьные типы
      • 10.3.2 Приватные сокращения типов
      • 10.3.3 Приватные строковые типы
    • 10.4 Локально абстрактные типы
    • 10.5 Модули первого класса
    • 10.6 Восстановление типа модуля
    • 10.7 Подстановка внутри сигнатуры
      • 10.7.1 Деструктивные подстановки
      • 10.7.2 Локальные объявления подстановок
      • 10.7.3 Подстановки типов модулей
    • 10.8 Алиасы модулей на уровне типов
    • 10.9 Переопределение в операторах open
    • 10.10 Обобщенные алгебраические типы данных
    • 10.11 Синтаксис доступа к Bigarray
    • 10.12 Атрибуты
      • 10.12.1 Встроенные атрибуты
    • 10.13 Узлы расширения
      • 10.13.1 Встроенные узлы расширения
    • 10.14 Расширяемые вариантные типы
      • 10.14.1 Приватные расширяемые вариантные типы
    • 10.15 Генеративные функторы
    • 10.16 Синтаксис только для расширений
      • 10.16.1 Операторы расширения
      • 10.16.2 Литералы расширения
    • 10.17 Встраиваемые записи
    • 10.18 Документационные комментарии
      • 10.18.1 Плавающие комментарии
      • 10.18.2 Комментарии к элементам
      • 10.18.3 Комментарии к меткам
    • 10.19 Расширенные операторы индексирования
      • 10.19.1 Многоиндексная нотация
    • 10.20 Пустые вариантные типы
    • 10.21 Предупреждения
    • 10.22 Обобщенные операторы open
    • 10.23 Операторы связывания
      • 10.23.1 Краткая нотация для связывания переменных (let-punning)
      • 10.23.2 Обоснование

• Часть III Инструменты OCaml
  • Глава 11 Партиционная компиляция (ocamlc)
    • 11.1 Обзор компилятора
    • 11.2 Параметры
    • 11.3 Модули и файловая система
    • 11.4 Распространённые ошибки
    • 11.5 Справочник по предупреждениям
      • 11.5.1 Предупреждение 6: Метка опущена в применении функции
      • 11.5.2 Предупреждение 9: Пропущенные поля в шаблоне записи
      • 11.5.3 Предупреждение 52: хрупкий шаблон константы
      • 11.5.4 Предупреждение 57: Неоднозначные переменные в шаблоне «или» в условии
  • Глава 12 Система верхнего уровня или REPL (ocaml)
    • 12.1 Параметры
    • 12.2 Директивы верхнего уровня
    • 12.3 Верхний уровень и система модулей
    • 12.4 Распространённые ошибки
    • 12.5 Создание пользовательских систем верхнего уровня: ocamlmktop
      • 12.5.1 Параметры
    • 12.6 Нативный верхний уровень: ocamlnat (экспериментально)
  • Глава 13 Система выполнения (ocamlrun)
    • 13.1 Обзор
    • 13.2 Параметры
    • 13.3 Динамическая загрузка общих библиотек
    • 13.4 Распространённые ошибки
  • Глава 14 Компиляция кода нативном (ocamlopt)
    • 14.1 Обзор компилятора
    • 14.2 Параметры
    • 14.3 Распространённые ошибки
    • 14.4 Запуск исполняемых файлов, созданных ocamlopt
    • 14.5 Совместимость с компилятором байт-кода
  • Глава 15 Генераторы лексических анализаторов и парсеров (ocamllex, ocamlyacc)
    • 15.1 Обзор ocamllex
      • 15.1.1 Параметры
    • 15.2 Синтаксис определений лексических анализаторов
      • 15.2.1 Заголовок и подвал
      • 15.2.2 Имена для регулярных выражений
      • 15.2.3 Точки входа
      • 15.2.4 Регулярные выражения
      • 15.2.5 Действия
      • 15.2.6 Переменные в регулярных выражениях
      • 15.2.7 Обработчики заполнения
      • 15.2.8 Зарезервированные идентификаторы
    • 15.3 Обзор ocamlyacc
    • 15.4 Синтаксис определений грамматик
      • 15.4.1 Заголовок и подвал
      • 15.4.2 Объявления
      • 15.4.3 Правила
      • 15.4.4 Обработка ошибок
    • 15.5 Параметры
    • 15.6 Полный пример
    • 15.7 Распространённые ошибки
  • Глава 16 Генератор зависимостей (ocamldep)
    • 16.1 Параметры
    • 16.2 Типичный Makefile
  • Глава 17 Генератор документации (ocamldoc)
    • 17.1 Использование
      • 17.1.1 Вызов
      • 17.1.2 Объединение информации о модулях
      • 17.1.3 Правила кодирования
    • 17.2 Синтаксис комментариев документации
      • 17.2.1 Размещение комментариев документации
      • 17.2.2 Специальный комментарий Stop
      • 17.2.3 Синтаксис комментариев документации
      • 17.2.4 Форматирование текста
      • 17.2.5 Теги документации (@-теги)
    • 17.3 Пользовательские генераторы
      • 17.3.1 Модули генераторов
      • 17.3.2 Обработка пользовательских тегов
    • 17.4 Добавление параметров командной строки
      • 17.4.1 Компиляция и использование
  • Глава 18 Отладчик (ocamldebug)
    • 18.1 Компиляция для отладки
    • 18.2 Вызов
      • 18.2.1 Запуск отладчика
      • 18.2.2 Файл инициализации
      • 18.2.3 Выход из отладчика
    • 18.3 Команды
      • 18.3.1 Получение справки
      • 18.3.2 Доступ к состоянию отладчика
    • 18.4 Выполнение программы
      • 18.4.1 События
      • 18.4.2 Запуск отлаживаемой программы
      • 18.4.3 Выполнение программы
      • 18.4.4 Путешествие во времени
      • 18.4.5 Прерывание программы
    • 18.5 Точки останова
    • 18.6 Стек вызовов
    • 18.7 Просмотр значений переменных
    • 18.8 Управление отладчиком
      • 18.8.1 Установка имени программы и аргументов
      • 18.8.2 Как загружаются программы
      • 18.8.3 Путь поиска файлов
      • 18.8.4 Рабочая директория
      • 18.8.5 Включение и отключение обратного выполнения
      • 18.8.6 Поведение отладчика при fork
      • 18.8.7 Остановка выполнения при загрузке нового кода
      • 18.8.8 Связь между отладчиком и программой
      • 18.8.9 Тонкая настройка отладчика
      • 18.8.10 Пользовательские принтеры
    • 18.9 Разные команды
    • 18.10 Запуск отладчика в Emacs
  • Глава 19 Профилирование (ocamlprof)
    • 19.1 Компиляция для профилирования
    • 19.2 Профилирование выполнения
    • 19.3 Вывод информации о профилировании
    • 19.4 Профилирование по времени

• • Глава 20. Взаимодействие C с OCaml
    • 20.1 Обзор и информация о компиляции
      • 20.1.1 Объявление примитивов
      • 20.1.2 Реализация примитивов
      • 20.1.3 Статическая компоновка кода C с кодом OCaml
      • 20.1.4 Динамическая компоновка кода C с кодом OCaml
      • 20.1.5 Выбор между статической и динамической компоновкой
      • 20.1.6 Создание автономных пользовательских систем выполнения
    • 20.2 Тип value
      • 20.2.1 Целочисленные значения
      • 20.2.2 Блоки
      • 20.2.3 Указатели вне кучи
    • 20.3 Представление типов данных OCaml
      • 20.3.1 Атомные типы
      • 20.3.2 Кортежи и записи
      • 20.3.3 Массивы
      • 20.3.4 Конкретные типы данных
      • 20.3.5 Объекты
      • 20.3.6 Полиморфные варианты
    • 20.4 Операции над значениями
      • 20.4.1 Проверка типов
      • 20.4.2 Операции над целыми числами
      • 20.4.3 Доступ к блокам
      • 20.4.4 Выделение блоков
      • 20.4.5 Выбрасывание исключений
    • 20.5 Совместимость с сборщиком мусора
      • 20.5.1 Простой интерфейс
      • 20.5.2 Низкоуровневый интерфейс
      • 20.5.3 Ожидающие действия и асинхронные исключения
    • 20.6 Полный пример
    • 20.7 Дополнительная тема: обратные вызовы из C в OCaml
      • 20.7.1 Применение OCaml-замыканий из C
      • 20.7.2 Получение или регистрация OCaml-замыканий для использования в функциях C
      • 20.7.3 Регистрация OCaml-исключений для использования в функциях C
      • 20.7.4 Главная программа на C
      • 20.7.5 Встраивание кода OCaml в код C
    • 20.8 Дополнительный пример с обратными вызовами
    • 20.9 Дополнительная тема: пользовательские блоки
      • 20.9.1 struct custom_operations
      • 20.9.2 Выделение пользовательских блоков
      • 20.9.3 Доступ к пользовательским блокам
      • 20.9.4 Написание пользовательских функций сериализации и десериализации
      • 20.9.5 Выбор идентификаторов
      • 20.9.6 Блоки с финализацией
    • 20.10 Дополнительная тема: Bigarrays и интерфейс OCaml-C
      • 20.10.1 Файл заголовков
      • 20.10.2 Доступ к OCaml bigarray из C или Fortran
      • 20.10.3 Обёртка C или Fortran-массива как OCaml Bigarray
    • 20.11 Дополнительная тема: более быстрый вызов C
      • 20.11.1 Передача необрамённых значений
      • 20.11.2 Прямой вызов C
      • 20.11.3 Пример: вызов функций C-библиотеки без косвенности
    • 20.12 Дополнительная тема: многопоточность
      • 20.12.1 Регистрация потоков, созданных из C
      • 20.12.2 Параллельное выполнение длительных C-программ
    • 20.13 Дополнительная тема: взаимодействие с Windows Unicode API
    • 20.14 Создание смешанных C/OCaml библиотек: ocamlmklib
    • 20.15 Предостережения: внутренний API системы выполнения
      • 20.15.1 Внутренние переменные и CAML_INTERNALS
      • 20.15.2 Макросы версии OCaml
  • Глава 21. Оптимизация с Flambda
    • 21.1 Обзор
    • 21.2 Флаги командной строки
      • 21.2.1 Указание параметров оптимизации по раундам
    • 21.3 Вставка
      • 21.3.1 Классический эвристический алгоритм вставки
      • 21.3.2 Обзор эвристических алгоритмов вставки «Flambda»
      • 21.3.3 Обработка конкретных конструкций языка
      • 21.3.4 Отчёты об вставке
      • 21.3.5 Оценка выгоды от вставки
      • 21.3.6 Управление спекуляцией
    • 21.4 Специализация
      • 21.4.1 Оценка выгоды от специализации
    • 21.5 Значения параметров по умолчанию
      • 21.5.1 Настройки на уровне оптимизации -O2
      • 21.5.2 Настройки на уровне оптимизации -O3
    • 21.6 Ручное управление вставкой и специализацией
    • 21.7 Упрощение
    • 21.8 Другие преобразования перемещения кода
      • 21.8.1 Поднятие констант
      • 21.8.2 Поднятие связываний toplevel let
    • 21.9 Преобразования разворачивания
      • 21.9.1 Развертывание переменных замыкания
      • 21.9.2 Развертывание специализированных аргументов
      • 21.9.3 Развертывание замыканий
    • 21.10 Удаление неиспользуемого кода и значений
      • 21.10.1 Удаление избыточных выражений let
      • 21.10.2 Удаление избыточных конструкций программы
      • 21.10.3 Удаление неиспользуемых аргументов
      • 21.10.4 Удаление неиспользуемых переменных замыкания
    • 21.11 Другие преобразования кода
      • 21.11.1 Преобразование невыходящих ссылок в изменяемые переменные
      • 21.11.2 Подстановка переменных замыкания для специализированных аргументов
    • 21.12 Обработка эффектов
    • 21.13 Компиляция статически выделенных модулей
    • 21.14 Ингибирование оптимизации
    • 21.15 Использование небезопасных операций
    • 21.16 Словарь терминов
  • Глава 22. Тестирование на уязвимости с afl-fuzz
    • 22.1 Обзор
    • 22.2 Генерация инструментирования
      • 22.2.1 Расширенные параметры
    • 22.3 Пример

• • Глава 23 Прослеживание выполнения с помощью instrumented runtime
    • 23.1 Обзор
    • 23.2 Включение трассировки выполнения
    • 23.3 Чтение трасс
      • 23.3.1 eventlog-tools
      • 23.3.2 babeltrace
    • 23.4 Управление трассировкой и ограничения
      • 23.4.1 Имя файла трассы
      • 23.4.2 Приостановка и возобновление трассировки
      • 23.4.3 Ограничения
  • Глава 24 Преобразование программы "Tail Modulo Constructor"
    • 24.1 Разрешение неоднозначностей
    • 24.2 Опасность выхода за пределы tail-mod-cons
    • 24.3 Подробности преобразования
    • 24.4 Текущие ограничения
• Часть IV Библиотека OCaml
  • Глава 25 Базовая библиотека
    • 25.1 Встроенные типы и предопределенные исключения
    • 25.2 Модуль Stdlib: начальный открытый модуль
  • Глава 26 Стандартная библиотека
  • Глава 27 Фронтенд компилятора
  • Глава 28 Библиотека unix: Системные вызовы Unix
  • Глава 29 Библиотека str: регулярные выражения и обработка строк
  • Глава 30 Библиотека потоков
  • Глава 31 Библиотека dynlink: динамическая загрузка и линковка объектных файлов
  • Глава 32 Недавно удалённые или перемещённые библиотеки (Graphics, Bigarray, Num, LablTk)
    • 32.1 Библиотека Graphics
    • 32.2 Библиотека Bigarray
    • 32.3 Библиотека Num
    • 32.4 Библиотека Labltk и OCamlBrowser
• Часть V Индексы