Это динамичное руководство введет вас в мир OCaml, надежный язык программирования, обладающий большой выразительностью, безопасностью и быстродействием. Пройдя через множество примеров, вы быстро поймете, что OCaml – это превосходный инструмент, позволяющий писать быстрый, компактный и надежный системный код.

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

Включённые в книгу упражнения позволят вам:

• познакомиться с основами языка, такие как функции высшего порядка, алгебраические типы данных и модули;

• исследовать расширенные особенности, такие как функторы, модули первого порядка и объекты;

• узнать, как пользоваться библиотекой Core, всеобъемлющей, универсальной стандартной библиотекой для OCaml;

• научиться проектировать эффективные библиотеки многократного пользования с применением подходов к абстрагированию и модульности, характерных для OCaml;

• увидеть способы решения практических задач программирования, от анализа аргументов командной строки до реализации асинхронных сетевых операций;

• изучить приемы профилирования и отладки с такими инструментами, как GNU gdb.