一名 Haskell 程序员转向 AI，社区对他进行网络暴力

一位知名的Haskell社区贡献者公开解释了他为何开始使用AI编程。结果：遭到社区排斥、收到仇恨邮件，以及社区重新发现了自己的口号。

上下文

Haskell——这门纯函数式、静态类型、以学术闻名的语言——长期以来都有一句半开玩笑的口号：“不惜一切代价避免成功”（"avoid success at all costs"）。其初衷原本健康：不因讨好市场而妥协语言的严谨性。但围绕它的小型社区却历史性地充斥着激烈的门户之争，其中的知识追求很快就沦为纯粹的意识形态洁癖。

一位知名贡献者最近就为此付出了代价。他的“罪行”：公开表示他现在使用生成式AI编写代码——包括Haskell——并声称这提高了他的生产力，在他看来，并未损害代码质量，因为Haskell编译器仍是最终的裁决者。

事态经过

据The Register报道，社区的反应不是一场辩论：而是一场猛烈的炮轰。充满敌意的社交媒体帖子、被多个社区频道封禁、对其过往工作的质疑。该领域的反AI纯粹主义者甚至要求他公开道歉。当事人坚持立场，并补充说社区正在字面意义上践行其口号：“不惜一切代价避免成功”，哪怕这种成功源于更广泛的采用。

为何这与Torvalds事件产生共鸣

这是一周内第二次强烈信号，揭示了自由软件社区内部的同一条裂痕：

• Linux阵营：Torvalds拒绝将AI排除在内核之外（“想要无AI项目，就fork吧”）。
• Haskell阵营：社区骚扰一名成员，只因他表示使用了AI。

两个项目，两种截然相反的回应。区别在于：治理的规模与成熟度。Linux有一位历史悠久的仁慈独裁者能果断拍板。而Haskell是一个水平化的生态系统，其中社会审查取代了技术决策。

开发者应当记住的要点

无论你使用Copilot、Claude、Codex还是什么都不用，真正的问题在于从你的流程中产出的代码。一段能编译、通过属性测试且满足领域不变性的Haskell补丁就是好补丁——无论是谁敲下了字符。基于身份而非技术原因拒绝工具，就是选择保持渺小，而这正是Haskell社区二十年来一直在指责自身文化的问题。

关键要点

• AI与自由软件支持者的分裂正成为自由软件的一条真实裂痕。
• 治理强势的项目（如Linux）能做出决断。水平化社区（如Haskell）则自我清洗。
• 对开发者而言，评判补丁的标准是补丁本身，而非其来源。