Um haskelliano passa para a IA, a comunidade o lincha

Um contribuidor reconhecido da cena Haskell explica publicamente por que agora codifica com IA. Reação: banimento social, e-mails de ódio e a comunidade que redescobre seu próprio slogan.

O contexto

Haskell - a linguagem funcional pura, estaticamente tipada, conhecida por ser acadêmica - carrega desde sempre um slogan meio sério: "avoid success at all costs" (« evitar o sucesso a todo custo »). A ideia original era até saudável: não transigir com o rigor da linguagem para agradar ao mercado. Mas a pequena comunidade que gira em torno dela vive historicamente guerras de trincheira ferozes, onde a exigência intelectual rapidamente se transforma em pureza ideológica.

Um contribuidor bem conhecido acaba de sofrer as consequências disso. Seu crime: ter escrito publicamente que agora usa IA generativa para programar - inclusive em Haskell - e que obteve um ganho de produtividade que, segundo ele, não compromete a qualidade de seu código, já que o compilador Haskell continua sendo o árbitro final.

O que aconteceu

Segundo o The Register, a reação não foi um debate: foi uma saraivada de ataques. Mensagens hostis nas redes sociais, banimento de vários canais comunitários, questionamento de seu trabalho passado. Os puristas anti-IA do meio exigiram um desmentido público. O interessado manteve sua posição, acrescentando que a comunidade estava, literalmente, aplicando seu próprio slogan à risca: "evitar o sucesso a todo custo", inclusive quando esse sucesso viesse de uma adoção mais ampla.

Por que isso ressoa com o caso Torvalds

Este é o segundo sinal forte em uma semana sobre a mesma linha de falha no software livre:

• Do lado do Linux: Torvalds recusa-se a excluir a IA do núcleo ("façam fork se quiserem um projeto sem IA").
• Do lado do Haskell: a comunidade assedia um membro por ter dito que usava IA.

Dois projetos, duas respostas opostas. A diferença é o tamanho e a maturidade da governança. O Linux tem um ditador benevolente histórico que corta o mal pela raiz. Haskell é um ecossistema horizontal onde a polícia social substitui a decisão técnica.

O que um dev deve reter

Se você usa Copilot, Claude, Codex ou nada disso, o verdadeiro assunto é o código que sai da sua cadeia. Um patch em Haskell que compila, passa nos testes de propriedade e satisfaz os invariantes do domínio é um bom patch - pouco importa quem teclou os caracteres. Recusar uma ferramenta com base identitária em vez de técnica é optar por permanecer pequeno, e é exatamente isso que a comunidade Haskell reprova em sua própria cultura há vinte anos.

Para lembrar

• A divisão IA vs. defensores do software livre se estabelece como uma linha de fratura real no software livre.
• Projetos com governança forte (Linux) decidem. Comunidades horizontais (Haskell) se auto-purificam.
• Para um dev, o critério de avaliação de um patch continua sendo o patch, não sua origem.