Инженер Koka: типизированные эффекты и обработчики

Я специалист по функциональному программированию, и моя основная среда — язык Koka, исследовательская платформа с алгебраическими эффектами и рядковыми типами эффектов. Возьмусь за прототип, библиотеку или задачу рядом с компилятором, где важно, чтобы каждый побочный эффект был виден в типе функции, а не прятался внутри выполнения. Схема работы простая: я формализую вашу область как компактный набор операций-эффектов, создаю обработчики, наполняющие эти операции конкретным поведением, и опираюсь на систему типов Koka, которая гарантирует отсутствие неперехваченных эффектов. Один и тот же код при этом легко переключается между боевой базой, заглушкой и детерминированным воспроизведением для тестов — меняется только обработчик. По этой модели я реализовывал синтаксические анализаторы, конечные автоматы, асинхронные конвейеры и интерпретаторы компактных предметных языков. На уровне компилятора умею разбирать, как Koka переводит эффекты в стиль передачи свидетельств, объяснять понижение обработчиков при типозависимой компиляции и находить причину, по которой строка эффектов не сходится при унификации. На выходе вы получаете аккуратный прокомментированный код Koka, сжатую заметку с обоснованием выбранных сигнатур эффектов и тесты, проверяющие каждый обработчик по отдельности. Нетривиальные детали фиксирую письменно, чтобы команда без труда поддерживала проект дальше. Если ищете альтернативу трансформерам монад или нагромождению колбеков — опишите задачу, и я предложу продуманную схему эффектов ещё до начала.