Разработка программ с помощью Objective Caml
Developing Applications With Objective Caml
Emmanuel
Chailloux
Pascal
Manoury
Bruno
Pagano
Contents
Part I
Основы языка
Функциональное программирование
Введение
План главы
Функциональное ядро Objective CAML
Объявления типов и сопоставление с образцом
Типизация, область определения и исключения
Полиморфизм и значения возвращаемые функциями
Калькулятор
Резюме
Императивное программирование
Введение
План главы
Физически изменяемые структуры данных
Ввод/Вывод
Структуры контроля
Порядок вычисления аргументов
Калькулятор с памятью
Резюме
Функциональный и императивный стиль
Введение
План главы
Сравнение между функциональным и императивным стилями
Какой стиль выбрать?
Смесь стилей
Поток данных
Резюме
Графический интерфейс
Введение
План главы
Использование библиотеки Graphics
Основные понятия
Графический вывод
Анимация
Обработка событий
Графический калькулятор
Резюме
Программы
Введение
Запросы базы данных
Интерпретатор языка BASIC
Minesweeper
Part II
Средства разработки
Содержимое второй части
Компиляция и переносимость
Введение
План главы
Этапы компиляции
Типы компиляции
Автономный исполняемый файл
Переносимость и эффективность
Резюме
Библиотеки
Введение
План главы
Классификация и использование библиотек
Автоматически загруженные библиотеки
Стандартная библиотека
Другие библиотеки дистрибутива
Упражнения
Резюме
Автоматический сборщик мусора
Введение
План главы
Программа и память
Выделение и освобождение памяти
Автоматическая сборка памяти
Управление памятью в Objective Caml
Модуль GC
Модуль Weak
Резюме
Средства анализа программ
Введение
План главы
Средства отладки
Профайлер
Резюме
Средства лексического и синтаксического анализа
Введение
План главы
Лексика
Синтаксис
Пересмотренный Basic
Резюме
Взаимодействие с языком C
Введение
План главы
Передача информации между Objective CAML и C
Анализ значений Objective CAML в C
Программы
Part III
Устройство программы
Модульное программирование
Объектно-ориентированное программирование
Сравнение моделей устройств программ
Программы
Part IV
Параллелизм и распределение
Процессы и связь между процессами
Программирование одновременно–выполняемых задач
Программирование распределенных задач
Программы
Разработка программ с помощью Objective CAML
Part V
Annexes
This document was translated from L
A
T
E
X by
H
E
V
E
A
.