Un haskellien passe à l'IA, сообщество его линчует

Признанный участник сцены Haskell публично объясняет, почему теперь он кодит с помощью ИИ. Реакция: социальная изоляция, письма ненависти и сообщество, которое заново открывает для себя собственный слоган.

Контекст

Haskell — чистый функциональный язык с статической типизацией, считающийся академическим — всегда носил полушутливый слоган: «avoid success at all costs» («избегать успеха любой ценой»). Изначально идея была здравая: не идти на компромиссы в строгости языка ради рынка. Но небольшое сообщество, которое его окружает, исторически живёт жестокими междоусобицами, где интеллектуальная требовательность быстро переходит в идеологическую чистоту.

Один из известных участников только что испытал это на себе. Его преступление: он публично заявил, что теперь использует генеративный ИИ для написания кода — в том числе на Haskell — и что это даёт ему прирост продуктивности, не жертвуя качеством, так как компилятор Haskell остаётся высшим судьёй.

Что произошло

По данным The Register, реакция была не дебатами: это был обстрел. Враждебные сообщения в социальных сетях, изгнание из нескольких сообщественных каналов, оспаривание его прошлой работы. Пуристы, выступающие против ИИ, потребовали публичного осуждения. Заинтересованное лицо сохранило свою позицию, добавив, что сообщество буквально выполняет собственный слоган: «избегать успеха любой ценой», даже когда этот успех приходит от более широкого внедрения.

Почему это перекликается с делом Торвальдса

Это второй сильный сигнал за неделю на той же линии разлома в свободном ПО:

• Со стороны Linux: Торвальдс отказывается исключать ИИ из ядра («форкайте, если хотите проект без ИИ»).
• Со стороны Haskell: сообщество травит участника за то, что он сказал, что использует ИИ.

Два проекта, два противоположных ответа. Разница в масштабе и зрелости управления. У Linux есть исторический «благожелательный диктатор», который быстро пресекает разногласия. Haskell — это горизонтальная экосистема, где социальная полиция заменяет технические решения.

Что должен запомнить разработчик

Используешь ли ты Copilot, Claude, Codex или ничего из этого — настоящая тема в том, какой код выходит из твоего конвейера. Патч на Haskell, который компилируется, проходит тесты на свойства и удовлетворяет инвариантам домена, — это хороший патч, независимо от того, кто набирал символы. Отказываться от инструмента по идеологическим, а не техническим причинам — значит выбирать оставаться маленьким, и именно это Haskell-ви community упрекает в своей культуре вот уже двадцать лет.

На заметку

• Раскол «ИИ vs либертарианцы» становится реальной линией разлома в свободном ПО.
• Проекты с сильным управлением (Linux) принимают решения. Горизонтальные сообщества (Haskell) самоочищаются.
• Для разработчика критерием оценки патча остаётся сам патч, а не его происхождение.