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

Я розробник на OCaml: створюю швидкі, типобезпечні бекенд-сервіси, консольні утиліти та інструментарій — компілятори, парсери та системи статичного аналізу, які утримують великі проекти в порядку. У роботі я опираюсь на сильне виведення типів та виразну модульну систему OCaml, щоб перетворювати розпливчасті вимоги в код, який падає на етапі компіляції, а не у продакшені. Якщо у вас є сервіс, зобов'язаний залишатися коректним під навантаженням, доменна модель, яка постійно розповзається, або парсер, якому потрібно бути одночасно строгим та терпимим, я запропоную дизайн, де типи несуть інваріанти, а рантайм просто робить те, що обіцяють сигнатури.

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

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

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