Типизация и изоляция ошибок упрощают поддержку Haskell кода

Редакторы блога Haskell запустили новую серию «Haskellers from the trenches», где инженеры делятся опытом работы в продакшене. Автор — участник команды Mercury, финтех-стартап, который обслуживает более 300 тысяч бизнеса и обработал 248 млрд долларов транзакций в 2025 году. У компании около 1,5 тысяч сотрудников, и их кодбаза составляет 2 миллиона строк Haskell. Многие разработчики пишут на языке впервые, но система стабильна даже во время бурного роста и регуляторных проверок. Надежность здесь не означает просто предотвращение сбоев, а способность адаптироваться к изменениям. Когда в команду приходят новички или уходят опытные коллеги, знание не уносится вместе с ними: это зафиксировано в типах компилятора. Чистота в Haskell работает как граница: опасные мутации разрешены внутри определённых областей, но нельзя нарушить интерфейс. В Mercury опасные операции изолируют, а компилятор не позволяет им «протечь» наружу. Для долговечного выполнения используются workflows на платформе Temporal, которая обрабатывает переборы, таймауты и повторные попытки без участия каждого разработчика. Авторы написали Haskell SDK — hs-temporal-sdk — который оборачивает нативную библиотеку на Rust через FFI. Важно разделять ошибки домена и транспортные проблемы: нельзя отправлять HTTP-статусы 409 из cron-задач. Лучше описывать ошибки бизнеса отдельными типами и переводить их в HTTP-ответы только на границе. Тонкие абстракции здесь спасают, если сложность скрыта внутри модулей, а снаружи интерфейс выглядит простым. Если тип слишком гирый и требует недели на рефакторинг, значит, нужно перестать его перегружать. Интеграция инструментов мониторинга тоже важна: в Haskell нельзя подменять функции «на лету», поэтому библиотеки должны отдавать записи с функциями, которые можно обёртывать в instrumentation. Паттерн с записями позволяет вставлять трассировку, моки или переписывать запросы без изменения кода самого сервиса.