Онлайн-книга «Quantitative Finance with OCaml» учит финансам на OCaml

На сайте qcaml.com выложена онлайн-книга «Quantitative Finance with OCaml» («Количественные финансы на OCaml»). Она подаётся как полное руководство по созданию корректных, быстрых и удобных в сопровождении финансовых систем на OCaml.

Исходная посылка книги: количественные финансы лежат на стыке математики, статистики и программной инженерии, и большинство практиков берут Python ради быстрого прототипирования или C++ ради скорости. По утверждению самой книги, OCaml редкое сочетание: выразительный, «корректный по построению» язык, достаточно быстрый для боевых торговых систем. Читатель научится оценивать производные инструменты, управлять рисками, моделировать кредитный риск, писать торговые алгоритмы и проектировать финансовую инфраструктуру, а система типов OCaml поможет сделать целые классы ошибок невозможными уже на этапе компиляции.

Книга делится на семь частей: I. Основы (главы 1, 4: зачем OCaml, основы языка для финансов, математика, вероятность и статистика); II. Облигации и процентные ставки (главы 5, 8: временна́я стоимость денег, облигации, кривая доходности, производные на ставки); III. Акции и производные (главы 9, 14: рынки акций, модель Блэка, Шоулза, численные методы оценки опционов, метод Монте-Карло, волатильность, экзотические опционы); IV. Кредит и мультиактивные модели (главы 15, 17); V. Управление рисками (главы 18, 21: рыночный риск, «греки» и хеджирование, кредитный риск контрагента, риск и оптимизация портфеля); VI. Алгоритмическая торговля и микроструктура рынка (главы 22, 25: микроструктура, алгоритмы исполнения, торговые стратегии, высокопроизводительная торговая инфраструктура); VII. Дополнительные темы (главы 26, 30: стохастическое исчисление, машинное обучение в количественных финансах, регуляторные и учётные рамки, проектирование систем, итоговый проект, полная торговая система). Есть шесть приложений, A, F: краткий справочник по OCaml, математический справочник, финансовый глоссарий, литература, настройка среды разработки и «корректность по построению».

Авторы заявляют пять отличий: к каждой идее прилагается код производственного качества; математические выкладки приводятся прямо в тексте, а не прячутся в приложениях; от главы к главе накапливаются переиспользуемые библиотеки с чёткой типизацией; производительность и корректность считаются равноценными задачами; рассматриваются возможности OCaml 5 (домены, эффекты, расширения OxCaml). Читать можно подряд или как справочник: тем, кто знает OCaml, можно пропустить главы 1, 2, а тем, кто знает финансы, главы 5 и 9.

К каждой главе есть каталог с кодом: README с текстом главы, библиотечные модули, разобранные примеры, упражнения и эксперименты по производительности. Зависимости ставятся через opam (core, owl, zarith, menhir, ppx_deriving), сборка идёт командой dune build, тесты, dune test. Страница датирует книгу версией 1.0, февраль 2026, и приглашает присылать исправления и вклад через репозиторий проекта.

Ключевые факты

Книга «Quantitative Finance with OCaml» опубликована на qcaml.com: 30 глав в семи частях плюс приложения A, F.
Темы: оценка производных инструментов, управление рисками, кредитное моделирование, торговые алгоритмы, финансовая инфраструктура; в конце итоговый проект, полная торговая система.
Главная идея: система типов OCaml делает целые классы финансовых ошибок невозможными на этапе компиляции; затрагиваются возможности OCaml 5 (домены, эффекты, расширения OxCaml).
К каждой главе прилагается код: библиотечные модули, примеры, упражнения и эксперименты по производительности; сборка через opam и dune.
На странице указана версия 1.0 от февраля 2026 года; исправления и вклад принимаются через репозиторий проекта.

Почему это важно

Для количественных финансов привычны Python (быстрые прототипы) и C++ (скорость). Книга предлагает третий путь: писать модели и торговые системы на OCaml и опираться на его систему типов, чтобы часть ошибок отсекалась при компиляции. Это учебник по довольно редкому в отрасли сочетанию языка и предметной области, причём с полным курсом от основ до готовой торговой системы.

Кому это важно

Разработчикам на OCaml, которые хотят войти в финансы, и финансистам или квантам, которым интересен язык со строгой типизацией. Страница прямо подсказывает маршрут: знакомым с OCaml можно пропустить главы 1, 2, знакомым с финансами, главы 5 и 9. Остальным материал будет любопытен как пример предметно-ориентированного курса.

Как это применить

Читать можно подряд или как справочник по отдельным частям. Код к главам лежит в отдельных каталогах: тексты, библиотеки, примеры, упражнения и тесты производительности. Для запуска нужно поставить зависимости через opam (core, owl, zarith, menhir, ppx_deriving), затем выполнить dune build и dune test. Цена, лицензия и условия использования на странице не указаны.

Можно ли доверять

Все характеристики книги (корректность, скорость, «производственное качество» кода), собственные заявления страницы книги, независимых отзывов и сравнений в источнике нет. Авторы на странице не названы, как и издатель. Цифр производительности и сравнений с Python или C++ нет. Заглавная страница, это оглавление и описание, а не сам текст глав, так что качество материала по ней оценить нельзя.

Риски и подводные камни

Тезис о том, что OCaml достаточно быстр для боевых торговых систем, в источнике не подкреплён замерами. Нишевый язык означает меньший выбор библиотек и специалистов по сравнению с Python и C++, это общее соображение, а не утверждение книги. Репозиторий проекта на странице не указан ссылкой, поэтому найти код может потребоваться отдельно. Версия 1.0 от февраля 2026 года: актуальность примеров с OCaml 5 и OxCaml стоит проверять.