Программирую на OCaml и специализируюсь на надёжном бэкенде: сервисы, которые держат нагрузку, утилиты командной строки и языковой инструментарий — от компиляторов и парсеров до статических анализаторов. Главная идея моего подхода в том, чтобы система типов ловила ошибки заранее: строгий вывод типов и модули OCaml позволяют закодировать бизнес-правила так, что некорректное состояние просто не собирается. Нужен сервис, который не ломается под трафиком, доменная модель, которую перестало разносить, или парсер со строгими и одновременно гибкими правилами — я выстрою архитектуру, где сигнатуры описывают контракт, а реализация ему следует.
У меня за плечами HTTP- и gRPC-серверы, очереди фоновых задач и обработка потоков данных на OCaml, а ещё лексеры, интерпретаторы и трансформации кода через Menhir и ppx. Придерживаюсь функционального стиля: неизменяемость по умолчанию, явные побочные эффекты, компактные модули и отделённое от ввода-вывода чистое ядро. Проверяю код property-based тестами и быстрыми юнитами, ищу узкие места профилировщиком, свободно владею Dune, opam и многопоточной моделью новых версий OCaml.
Могу влиться в готовый проект или собрать решение с нуля, оставляя понятные комментарии к принятым решениям, чтобы команде было легко продолжать.
— Надёжные бэкенд-сервисы и API на OCaml
— Компиляторы, интерпретаторы и парсеры
— Статические анализаторы, линтеры и ppx-трансформации
— Функциональная архитектура с сильной типизацией
— Сборка и зависимости через Dune и opam
У меня за плечами HTTP- и gRPC-серверы, очереди фоновых задач и обработка потоков данных на OCaml, а ещё лексеры, интерпретаторы и трансформации кода через Menhir и ppx. Придерживаюсь функционального стиля: неизменяемость по умолчанию, явные побочные эффекты, компактные модули и отделённое от ввода-вывода чистое ядро. Проверяю код property-based тестами и быстрыми юнитами, ищу узкие места профилировщиком, свободно владею Dune, opam и многопоточной моделью новых версий OCaml.
Могу влиться в готовый проект или собрать решение с нуля, оставляя понятные комментарии к принятым решениям, чтобы команде было легко продолжать.
— Надёжные бэкенд-сервисы и API на OCaml
— Компиляторы, интерпретаторы и парсеры
— Статические анализаторы, линтеры и ppx-трансформации
— Функциональная архитектура с сильной типизацией
— Сборка и зависимости через Dune и opam
