Ein Haskellianer wechselt zu KI, die Gemeinschaft lyncht ihn

Ein anerkannter Beitragender der Haskell-Szene erklärt öffentlich, warum er nun mit KI programmiert. Reaktion: soziale Ächtung, Hassmails und die Community entdeckt ihren eigenen Slogan wieder.

Der Kontext

Haskell - die rein funktionale, statisch typisierte, als akademisch geltende Sprache - trägt seit jeher einen halb ernst gemeinten Slogan: "avoid success at all costs" („den Erfolg um jeden Preis vermeiden“). Die ursprüngliche Idee war durchaus gesund: Man sollte bei der Strenge der Sprache nicht nachgeben, um dem Markt zu gefallen. Doch die kleine Gemeinschaft, die sich darum schart, lebt historisch von erbitterten Glaubenskriegen, in denen die intellektuelle Anspruchshaltung schnell in ideologische Reinheit umschlägt.

Ein bekannter Beitragender hat dies gerade am eigenen Leib erfahren. Sein Vergehen: Er hat öffentlich geschrieben, dass er nun generative KI zum Programmieren nutzt - einschließlich in Haskell - und dass er daraus einen Produktivitätsgewinn zieht, der, seiner Meinung nach, die Qualität seines Codes nicht beeinträchtigt, da der Haskell-Compiler weiterhin der Richter ist.

Was passiert ist

Laut The Register war die Reaktion kein Debatte: Es war ein Sperrfeuer. Feindselige soziale Medien, Ausschluss aus mehreren Gemeinschaftskanälen, Infragestellung seiner früheren Arbeit. Die anti-KI-Puristen der Szene forderten eine öffentliche Widerrufserklärung. Der Betroffene hielt an seiner Position fest und fügte hinzu, dass die Gemeinschaft buchstäblich dabei sei, ihren eigenen Slogan wörtlich anzuwenden: "den Erfolg um jeden Preis vermeiden", auch wenn dieser Erfolg aus einer breiteren Akzeptanz käme.

Warum das mit der Torvalds-Affäre mitschwingt

Es ist das zweite starke Signal innerhalb einer Woche auf derselben Bruchlinie im Open Source:

• Linux-Seite: Torvalds lehnt es ab, KI aus dem Kernel auszuschließen ("forken Sie, wenn Sie ein Projekt ohne KI wollen").
• Haskell-Seite: Die Gemeinschaft mobbt ein Mitglied, weil es gesagt hat, dass es KI nutzt.

Zwei Projekte, zwei entgegengesetzte Antworten. Der Unterschied liegt in der Größe und Reife der Governance. Linux hat einen historischen wohlwollenden Diktator, der kurz entschlossen handelt. Haskell ist ein horizontales Ökosystem, in dem die soziale Kontrolle die technische Entscheidung ersetzt.

Was ein Entwickler daraus lernen sollte

Ob du Copilot, Claude, Codex oder gar nichts verwendest, das eigentliche Thema ist der Code, der aus deiner Kette kommt. Ein Haskell-Patch, der kompiliert, die Property-Tests besteht und die Invarianten des Domänenbereichs erfüllt, ist ein guter Patch - egal, wer die Zeichen getippt hat. Ein Werkzeug aus identitären statt technischen Gründen abzulehnen, bedeutet sich dafür zu entscheiden, klein zu bleiben, und genau das wirft die Haskell-Gemeinschaft ihrer eigenen Kultur seit zwanzig Jahren vor.

Zu beachten

• Die Spaltung zwischen KI und Libristen etabliert sich als eine reale Bruchlinie in der Open-Source-Software.
• Projekte mit starker Governance (Linux) treffen Entscheidungen. Horizontale Gemeinschaften (Haskell) reinigen sich selbst.
• Für einen Entwickler bleibt das Bewertungskriterium eines Patches der Patch selbst, nicht seine Herkunft.