Часть 1. Введение в Objective Caml

• Основы
• Типы данных
• Функции как значения
• Записи и варианты
• Императивные возможности
• Исключения
• Символическая обработка выражений
• Вывод и лексический разбор
• Самостоятельные программы на Caml

• Структура
• Сигнатуры
• Функторы
• Функторы и абстрагирование от типа
• Модули и раздельная компиляция

• Классы и объекты
• Ссылка на себя
• Инициализаторы
• Виртуальные методы
• Приватные методы
• Интерфейсы классов
• Наследование
• Множественное наследование
• Параметризованные классы
• Полиморфные методы
• Приведение типов
• Функциональные объекты
• Клонирование объектов
• Рекурсивные классы
• Бинарные методы
• Друзья

• Метки
• Полиморфные варианты

• Банковский счет
• Простые модули как классы
• Шаблон субъект/наблюдатель

Часть 2. Язык Оbjective Caml

• Введение
• Лексические соглашения
• Типы данных
• Имена
• Выражения типа
• Константы
• Образцы
• Выражения

• Потоки и анализаторы потоков
• Диапазоны в образцах
• Проверка утверждений
• Отложенные вычисления
• Локальные модули
• Группировка в численных литералах

Часть 3. Инструменты Objective Caml

• Обзор компилятора
• Опции
• Модули и файловая система
• Распространенные ошибки

• Опции
• Директивы
• Интерпретатор и система модулей
• Распространенные ошибки
• Заказные интерпретаторы
• Опции ocamlmktop

• Обзор
• Параметры
• Динамическая загрузка библиотек
• Распространенные ошибки

• Обзор компилятора
• Параметры
• Распространенные ошибки
• Совместимость с компилятором байткода

• Обзор ocamllex
• Синтаксис определения лексического анализатора
• Обзор ocamlyacc
• Синтаксис определения грамматики
• Параметры
• Пример
• Распространенные ошибки

• Параметры
• Типичный Makefile

• Запуск
• Просмотр
• Просмотр модулей
• Редактор
• Интерпретатор