После семи лет production-эксплуатации платформа Scarf начала уводить новую серверную разработку с Haskell на Python. История быстро вышла за рамки частного технического выбора: Haskell и ИИ внезапно стали поводом для очень нервного спора о том, как должны меняться языки программирования, если код все чаще пишут не только люди, но и агенты.
Об этом сообщает The Register со ссылкой на пост основателя Scarf Ави Пресса. Для русскоязычной IT-аудитории здесь важен не сам факт очередной миграции в Python, а аргументация: Пресс много лет был заметным сторонником Haskell, входил в совет Haskell Foundation и публично защищал язык даже в стартап-контексте. Если от Haskell в сторону Python уходит не случайный разработчик, а один из самых заметных практиков, это уже не вкусовщина, а сигнал рынку.
Пресс написал, что в Scarf новый API-код теперь идет в Python, а существующий Haskell-контур продолжает работать. Схема прагматичная: не переписывать все сразу, а постепенно делать новый сервер основным маршрутом, пока доля Haskell в системе сокращается естественным образом. Формально это не отказ от языка за один день, но вектор выбран предельно ясно. Главный тезис Пресса звучит жестко: экосистемы, которые умеют хорошо использовать ИИ, будут двигаться заметно быстрее тех, которые этого не умеют.
Почему именно Python, а не, например, попытка дожать текущий стек? Ответ Пресса неприятен для хаскеллистов, но понятен любому, кто уже пробовал реальную агентную разработку. По его словам, большая проблема Haskell сегодня не только в размере рынка или дефиците специалистов, а в том, что цикл обратной связи плохо подходит для ИИ-помощников. Если LLM способна собрать рабочую реализацию за минуты, а потом разработчик утыкается в долгую сборку и тяжелый cold start, язык и build system превращаются в тормоз. Для человека это раздражающий нюанс. Для нескольких параллельных агентов, которые порождают ветки работы, worktree и пачки пробных изменений, это уже архитектурное ограничение процесса.
Аргумент особенно болезненный потому, что еще недавно Haskell продавали почти противоположным набором достоинств. Язык, появившийся в 1990 году, давно живет в нише дисциплинированной функциональной разработки: рекурсия вместо привычных циклов, immutable-данные, сильная типизация, математическая строгость, рефакторинг без паники. Пресс сам раньше подчеркивал именно это. В выступлении 2023 года он называл Haskell плохим выбором для стартапа, но все равно объяснял, почему Scarf пошел в эту сторону: сложно нанимать, зато легче безопасно менять код по мере смены бизнес-приоритетов, а часть документации можно выводить прямо из типов. Проблема в том, что мир за три года поменялся быстрее, чем экосистема языка.
На бумаге претензия звучит почти как оскорбление сообщества: не «Haskell хуже Python вообще», а «Haskell хуже вписывается в разработку, где значимую часть черновой работы делает ИИ». И вот тут спор перестал быть сугубо техническим. Пресс утверждает, что часть сообщества занята не тем, как адаптировать язык к новым сценариям, а тем, как ограничивать использование ИИ в разработке на Haskell или вокруг него. С его точки зрения, это проигрышная позиция: агенты дешевы в генерации кода, но дороги в простое, им нужен быстрый feedback loop, низкий порог запуска, понятные примеры и ошибки, по которым можно быстро восстановиться. В качестве рецепта он перечислил вещи довольно приземленные: документацию с копируемыми примерами из индустриальных задач, более полезные сообщения об ошибках и, прежде всего, более быстрые сборки.
Реакция была предсказуемо шумной. На Reddit, Hacker News, X и профильных форумах Прессу начали объяснять, что подстраивать язык под текущие ограничения LLM — затея сомнительная, потому что горизонт технологии сам еще плавает. Другие указывали на очевидное: у Python собственные проблемы с типизацией, и выбор в его пользу выглядит как компромисс в надежности ради скорости цикла. Третьи говорили, что логичнее было бы оптимизировать компиляцию и tooling Haskell, чем уезжать на другой язык. Но самые показательные комментарии были не про технику, а про философию. Часть старожилов фактически согласилась жить с маргинальностью Haskell и не считать рост самоцелью. Британский разработчик Крис Данн прямо написал, что больше не разделяет mindset обязательного роста и готов принять Haskell «на его собственных условиях», даже если тот станет еще менее заметным, как Elm или PureScript.
В этой точке старая шутка Haskell-сообщества про «избегать успеха любой ценой» неожиданно перестает быть шуткой. Снаружи это выглядит как знакомая драма любого нишевого стека: пока рынок требует интеграции с ИИ и ускорения delivery, часть комьюнити отвечает, что популярность им не нужна, а компромиссы с новой реальностью только испортят язык. Внутри сообщества это, конечно, звучит благороднее: не все измеряется массовым adoption, не любой productivity gain стоит культурной цены, а ИИ несет не только удобство, но и вполне реальные этические и профессиональные риски. Но для бизнеса, стартапов и платформенной разработки спор обычно решается без лишней метафизики: если одна экосистема позволяет чинить баг до конца звонка с клиентом, а другая требует терпения, редкого эксперта и длинного build loop, CFO и CTO довольно быстро начинают голосовать ногами.
Haskell и ИИ поэтому становятся не спором о вкусе, а вопросом операционной модели. Для российских команд урок здесь прямой. Если ваш стек опирается на редкую экспертизу, тяжелые сборки и слабую интеграцию с современными assistant-first практиками, это еще не повод все срочно переписывать. Но это уже повод честно проверить, где именно вы теряете скорость: на компиляции, документации, onboarding, воспроизводимости окружения, тестовом контуре или в том, что ИИ-инструментам банально не за что зацепиться. Пресс, по сути, не говорит, что Python лучше как язык. Он говорит, что Python сегодня лучше вписывается в производственный конвейер, где код все чаще генерируется, проверяется и отбрасывается сериями.
Успокоят ли такие сигналы экосистемы вроде Haskell, Rust, OCaml или других языков с сильной идентичностью? Не факт. Но и игнорировать их уже не получается. Когда один из заметных сторонников языка после семи лет в проде переносит новый API в Python не из-за моды, а из-за экономики feedback loop, спор о том, нужен ли ИИ в разработке, заканчивается. Остается другой вопрос: какие языки и инструменты смогут перестроиться под эту реальность без потери своих сильных сторон, а какие решат, что быть правыми важнее, чем быть удобными.