Это динамичное руководство введет вас в мир OCaml, надежный язык программирования, обладающий большой выразительностью, безопасностью и быстродействием. Пройдя через множество примеров, вы быстро поймете, что OCaml – это превосходный инструмент, позволяющий писать быстрый, компактный и надежный системный код.
Книга быстро проведет вас по основным понятиям языка и затем расскажет о приемах и инструментах, которые помогают превратить OCaml в эффективное средство разработки практических приложений. В третьем разделе книги вы сможете углубиться в изучение тонких особенностей инструментов компилятора и среды выполнения OCaml.
Включённые в книгу упражнения позволят вам:
• познакомиться с основами языка, такие как функции высшего порядка, алгебраические типы данных и модули;
• исследовать расширенные особенности, такие как функторы, модули первого порядка и объекты;
• узнать, как пользоваться библиотекой Core, всеобъемлющей, универсальной стандартной библиотекой для OCaml;
• научиться проектировать эффективные библиотеки многократного пользования с применением подходов к абстрагированию и модульности, характерных для OCaml;
• увидеть способы решения практических задач программирования, от анализа аргументов командной строки до реализации асинхронных сетевых операций;
• изучить приемы профилирования и отладки с такими инструментами, как GNU gdb.