Ави Пресс, основатель Scarf и член совета Haskell Foundation, объявил, что компания отказывается от Haskell в новых проектах. Scarf 16 лет строил бэкенд на Haskell: основное API на Servant и Beam поверх PostgreSQL, высоконагруженный сервис для Scarf Gateway на WAI. Всё работало надёжно, с реальными SLA. Типы ловили баги, высокую производительность писать было просто.
Но цена оказалась высокой. Главные проблемы — время компиляции и трение в экосистеме. Scarf тратил уйму времени на оптимизацию сборок, Nix, CI, кэши, окружения разработчиков. Долгое время это было терпимо, потому что команда глубоко знала все грабли.
Всё изменил ИИ. LLM сейчас пишут код настолько хорошо, что экономика разработки перевернулась. Раньше ошибки ловил компилятор или рантайм. Теперь появилось третье окно — момент генерации кода. Модель часто не допускает ошибку ещё до того, как код попадает в компилятор. Ценность тотальной типовой безопасности снизилась, а цена медленного цикла сборки — резко выросла.
Ключевая метрика теперь — скорость полного цикла обратной связи. Если человек пишет код час, медленная компиляция — просто неприятность. Но если агент набрасывает правку за минуты, а потом 15 минут ждёт сборку с нуля, компилятор становится главным тормозом. Особенно когда запускаешь несколько агентов параллельно. Каждая новая рабочая копия — налог на холодный старт и настройку кэша. Caching никогда не бывает идеальным, а инженерные усилия на его поддержку — часть налога.
Scarf начал переводить новые API-роуты на Python. Развернули Python-сервер рядом с Haskell, запросы маршрутизируют прокси. Новая функциональность пишется на Python, старый код работает, со временем Haskell-часть будет сокращаться. LLM отлично справились с портированием: аутентификация, базы данных, модели, деплой — всё переехало быстро. Время, которое раньше уходило на борьбу с тулчейном, теперь тратят на фичи и тесты. ИИ хорошо пишет много тестов, хотя за ним нужно следить, чтобы не генерировал мусор.
Измерить эффект одной метрикой сложно, но скорость стала другой: иногда багфикс успевает попасть в прод до того, как Пресс закончит разговор с заказчиком. Отказ от типовой безопасности пока не дал о себе знать, а тестовое покрытие стало лучшим в истории компании.
Пресс предупреждает: Haskell в реальной опасности. ИИ-экосистемы ускоряются, а сообщество Haskell слишком часто фокусируется на ограничениях, а не на возможностях. Он призывает адаптировать язык под агентные воркфлоу: быстрая загрузка проектов, понятные сообщения об ошибках для моделей, куча реальных примеров в документации. Если Haskell хочет быть великим в эпоху ИИ, он должен оптимизироваться для этого мира сознательно. Иначе отставание будет только нарастать.