ハスケル愛好家がAIに転向、コミュニティからリンチされる

Haskellのシーンで認められた貢献者が、なぜ自分がAIを使ってコードを書くようになったかを公に説明。反応は、ソーシャルバニッシュメント、憎しみのメール、そしてコミュニティが自分のスローガンを再発見することだった。

コンテクスト

Haskell - 純粋な関数型言語、静的型付け、学術的とされる - は、半分冗談のスローガンを長年引きずっている：「avoid success at all costs」（「成功を何よりも避ける」）。元々のアイデアは比較的健全だった：市場に迎合するために言語の厳格性を妥協しない。しかし、周囲を取り巻く小さなコミュニティは、歴史的に激しい教派間の戦いを繰り広げており、知的要求はすぐにイデオロギー的純粋さに転落する。

よく知られた寄稿者が最近その犠牲者となった。彼の罪：公開で、現在は生成AIをコーディングに使用していることを書いたこと - Haskellを含む - そして、コンパイラHaskellが最終的な判断者であるため、その生産性の向上はコードの品質を損なわないと主張した。

起こったこと

The Registerによると、反応は議論ではなかった：砲火の一斉射撃だった。敵対的なソーシャルフィード、複数のコミュニティチャネルからの追放、過去の仕事への疑問視。業界の反AI純粋主義者は、公の撤回を要求した。当の本人は、コミュニティが文字通り自分のスローガンを文字通り実践していると付け加えながら、立場を維持した：「成功を何よりも避ける」、特にその成功がより広範な採用から来る場合でも。

Torvalds事件との共鳴点

これは、フリーソフトウェアの同じ断層線で1週間に2つ目の強い信号である：

• Linux側：TorvaldsはカーネルからAIを排除することを拒否している（「AIのないプロジェクトが欲しければ、フォークするがいい」）。
• Haskell側：コミュニティは、AIを使用していると公言したメンバーを追い詰めている。

2つのプロジェクト、2つの対照的な反応。違いは規模とガバナンスの成熟度だ。Linuxには歴史的な善意の独裁者がいて、議論を打ち切る。Haskellは水平的なエコシステムで、社会的警察が技術的決定に取って代わる。

開発者が覚えておくべきこと

Copilot、Claude、Codex、または何も使わないにせよ、真の問題はあなたのチェーンから出てくるコードだ。コンパイルされるHaskellパッチ、プロパティテストを通過し、ドメインの不変条件を満たすパッチは、良いパッチだ - 誰が文字を打ったかは関係ない。技術的な基準ではなくアイデンティティの基準でツールを拒否することは、小さくまとまろうとすることであり、これはHaskellコミュニティが自分の文化に対して20年間批判してきたことの正確な定義だ。

覚えておくべきこと

• AI vs リブリストの分裂は、フリーソフトウェアの現実の断層線として定着しつつある。
• 強力なガバナンスを持つプロジェクト（Linux）は決定を下す。水平的なコミュニティ（Haskell）は自己浄化する。
• 開発者にとって、パッチの評価基準はパッチそのものであり、その起源ではない。