Производительность, компиляция и место OCaml

Подводим итог курса: как OCaml достигает высокой скорости, чем отличается от родственников и где он сияет ярче всего.

OCaml компилируется в нативный машинный код с автоматической сборкой мусора, сочетая скорость уровня C с безопасностью функционального языка.

Мы прошли путь от значений и вывода типов до функторов и объектов. Финальный урок собирает всё вместе: как OCaml исполняется, почему он быстр, и какое место занимает среди функциональных языков.

Компиляция в нативный код

OCaml предлагает два бэкенда. ocamlc даёт переносимый байткод — удобно для разработки. ocamlopt компилирует в машинный код под архитектуру; именно его используют в продакшене. Нативный OCaml по скорости близок к C++ и существенно опережает интерпретируемые языки — одна из причин, по которой Jane Street строит на нём низколатентные торговые системы.

Сборка мусора

У OCaml поколенческий сборщик мусора с двумя поколениями. Малое поколение (minor heap) — область, куда быстро аллоцируются короткоживущие значения; аллокация там — почти бесплатное увеличение указателя. Большинство значений умирают молодыми и собираются мгновенно. Выжившие переезжают в большое поколение, которое собирается реже. Такой дизайн даёт дешёвые аллокации и короткие паузы.

Что делает OCaml быстрым

Дешёвые аллокации в minor heap и быстрый GC.
Помеченные целые: арифметика int идёт в регистрах.
Отсутствие накладных расходов абстракций: модули, функторы и абстрактные типы стираются при компиляции.
Inline-оптимизации: каррирование, |> и мелкие функции инлайнятся.

OCaml среди родственников

Язык	Отношение к OCaml
Haskell	двоюродный: ленивый, чисто функциональный. OCaml — энергичный, прагматичный, допускает мутацию
F#	прямой потомок: фактически «OCaml на .NET»
Scala	взяла ADT и pattern matching из ML, соединив с ООП на JVM
Rust	унаследовал вкус к ADT, pattern matching и Option/Result (первый компилятор писался на OCaml)

Ключевое отличие OCaml — прагматизм. Haskell чище, но требует менять мышление под ленивость и монады. F# удобнее в мире .NET, но привязан к нему. OCaml даёт почти всю выразительность ML, оставаясь компактным, быстрым и позволяя при нужде писать императивно.

Где OCaml — лучший выбор

Компиляторы и языковые инструменты — ADT и pattern matching идеальны для синтаксических деревьев.
Финансы и системы с низкой задержкой — скорость плюс надёжность типов.
Верификация и доказательства — Coq, Frama-C.
Надёжный бэкенд — где цена ошибки высока, а типы ловят её до запуска.

Как работает под капотом

С версии 5.0 OCaml получил многопоточность с эффект-обработчиками (effect handlers) и параллельный рантайм Multicore: теперь несколько доменов могут исполнять OCaml-код одновременно. Эффект-обработчики — обобщение исключений, позволяющее писать кооперативную многозадачность и свои управляющие конструкции. Это направление сохраняет фирменный баланс OCaml: новые возможности вводятся предсказуемо и быстро. Дальше стоит изучить Base/Core, библиотеку Lwt и сам effect-механизм версии 5.

Частые ошибки в восприятии

Считать OCaml «академическим». Это промышленный язык с пользователями уровня Jane Street и Facebook.
Думать, что он медленный из-за GC. Поколенческий GC и нативная компиляция дают скорость, близкую к C++.
Путать его с Haskell. OCaml энергичный и прагматичный.

Итоги

ocamlopt компилирует в нативный код; поколенческий GC даёт дешёвые аллокации и короткие паузы.
OCaml прагматичнее Haskell (энергичный, с мутацией), является прародителем F# и повлиял на Scala и Rust.
Лучше всего проявляет себя в компиляторах, финансах, верификации и надёжных бэкендах; версия 5 принесла параллелизм и эффект-обработчики.