Разработчик OCaml: типобезопасные бэкенды и компиляторы

Я разработчик на OCaml: создаю быстрые, типобезопасные бэкенд-сервисы, консольные утилиты и инструментарий — компиляторы, парсеры и системы статического анализа, которые удерживают большие проекты в порядке. В работе я опираюсь на сильный вывод типов и выразительную модульную систему OCaml, чтобы превращать расплывчатые требования в код, который падает на этапе компиляции, а не в продакшене. Если у вас есть сервис, обязанный оставаться корректным под нагрузкой, доменная модель, которая постоянно расползается, или парсер, которому нужно быть одновременно строгим и терпимым, я предложу дизайн, где типы несут инварианты, а рантайм просто делает то, что обещают сигнатуры.

За годы я выпускал HTTP- и gRPC-бэкенды, фоновые воркеры и конвейеры обработки данных на OCaml, а также лексеры, парсеры и интерпретаторы на базе Menhir и ppx-переписывателей. Мне важен чистый функциональный дизайн: неизменяемые данные по умолчанию, явные эффекты, маленькие компонуемые модули и чистое ядро в тонкой оболочке ввода-вывода. Тестирую свойствами и быстрыми модульными наборами, профилирую горячие пути, уверенно работаю с Dune, opam и современной многоядерностью OCaml, когда нужна конкурентность.

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

— Типобезопасные бэкенд-сервисы и API на OCaml
— Компиляторы, интерпретаторы, парсеры и языковой инструментарий
— Статический анализ, линтеры и ppx-переписыватели
— Функциональное моделирование домена с сильным выводом типов
— Сборка на Dune и opam, тестирование и профилирование