Смотрел вакансии в HFT, и наткнулся на какой-то абсурд — Jane Street, где средняя ЗП поднялась до $1.3m/y — использует OCaml!

Для тех, кто не в курсе, HFT — это трейдинг, и там воюют за микросекунды. OCaml — язык со сборщиком мусора, а работа сборщика создает паузы.

Кроме того, HFT готовы покупать лучших за любые деньги. Лучшие борцы за микросекунды — это представители competitive programming, где исторически на первом месте C++.

Через какое-то время размышлений и ресёрча у меня появились ответы, почему OCaml может работать:

‣ Это выделяет компанию на рынке, создает пиар. Именно поэтому я сейчас пишу о них, а не о другой HFT-конторе.
‣ Если ты заботал OCaml из любви к языку, который поддерживает ФП, алгебраические типы данных и пр., ты наверняка знаешь о Jane Street и хочешь к ним. И ты точно не вкатун, зарешавший литкод и накрутивший резюме.
‣ Если ты работаешь за 5-10x от рынка на OCaml, тебе некуда уходить. Ну то есть вообще некуда. Все, кто могут платить сопоставимо, на плюсах.

Что насчет перформанса языка? Думаю, с этим у ребят всё ок, учитывая их прибыли. Кроме того, пишут свой компилятор, судя по вакансии.

Кстати, любопытный факт. Первый компилятор Rust был написан на OCaml (wiki).

И еще один любопытный факт. В Сбердевайсах 4 года назад хотели писать фронтенд для видео-приложения и музыки на OCaml. Помню, тимлид уже продал идею команде, я тогда и сам хотел поиграться с языком, но инициативу зарубил руководитель лида. И вот опять OCaml манит своей функциональной природой, эксклюзивностью и горами золота.