Система Objective Caml, релиз 3.10
Документация и руководство пользователя
Ксавье Лерой
(а также Дамье Долигеc, Жак Гарриг, Дидье Реми и Жером Вуйон)
(а также Дамье Долигеc, Жак Гарриг, Дидье Реми и Жером Вуйон)
©2008
Национальный Институт Исследований в области Информатики и Автоматики
Часть 1. Введение в Objective Caml
Глава 1. Описание языка
- Основы
- Типы данных
- Функции как значения
- Записи и варианты
- Императивные возможности
- Исключения
- Символическая обработка выражений
- Вывод и лексический разбор
- Самостоятельные программы на Caml
Глава 2. Система модулей
Глава 3. Объекты в OCaml
- Классы и объекты
- Самостоятельные объекты
- Ссылка на себя
- Инициализаторы
- Виртуальные методы
- Приватные методы
- Интерфейсы классов
- Наследование
- Множественное наследование
- Параметризованные классы
- Полиморфные методы
- Приведение типов
- Функциональные объекты
- Клонирование объектов
- Рекурсивные классы
- Бинарные методы
- Друзья
Глава 4. Метки и варианты
Глава 5. Дополнительные примеры классов и модулей
Часть 2. Язык Оbjective Caml
Глава 6. Язык Objective Caml не закончено
Глава 7. Расширения языка
- Потоки и анализаторы потоков
- Диапазоны в образцах
- Проверка утверждений
- Отложенные вычисления
- Локальные модули
- Группировка в численных литералах
Часть 3. Инструменты Objective Caml
Глава 8. Пакетная компиляция (ocamlc)
Глава 9. Интерактивная система (ocaml)
- Опции
- Директивы
- Интерпретатор и система модулей
- Распространенные ошибки
- Заказные интерпретаторы
- Опции ocamlmktop
Глава 10. Система времени выполнения (ocamlrun)
Глава 11. Компиляция во внутренний код (ocamlopt)
Глава 12. Генераторы синаксических и лексических анализаторов (ocamllex, ocamlyacc)
- Обзор ocamllex
- Синтаксис определения лексического анализатора
- Обзор ocamlyacc
- Синтаксис определения грамматики
- Параметры
- Пример
- Распространенные ошибки
Глава 13. Генератор зависимостей (осаmldep)
Глава 14. Броузер/редактор (ocamlbrowser)
Исходники перевода находятся тут.