Разработка программ с помощью Objective Caml

Книга представляет собой всестороннее руководство по языку программирования Objective Caml (OCaml), охватывающее как функциональное, так и императивное программирование. Авторы начинают с основ функционального ядра OCaml, включая значения, функции, базовые типы, полиморфизм и сопоставление с образцом. Затем рассматриваются объявления типов, рекурсивные и параметризованные типы, а также работа с исключениями.

Вторая часть книги посвящена императивному программированию в OCaml: изменяемым структурам данных (векторы, строки, указатели), вводу-выводу, циклам и структурам контроля. Особое внимание уделяется сравнению функционального и императивного стилей программирования, их преимуществам и недостаткам, а также критериям выбора подходящего стиля для конкретных задач.

Книга содержит практические примеры, включая реализацию калькулятора, работу с матрицами и стеками, а также рассматривает графический интерфейс с использованием библиотеки Graphics. Материал предназначен для программистов, желающих освоить OCaml как с теоретической, так и с практической точки зрения.