Haskell para todos: Uma especificação suficientemente detalhada é o próprio código

A notícia atual não é sobre Haskell como linguagem, mas sobre uma mudança de paradigma: a especificação precisa deixou de ser um documento à parte e virou um artefato executável, e o código, sua única forma válida de expressão. Isso responde diretamente à crise de confiança na codificação agentiva em 2026: quando 96% dos desenvolvedores não confiam no código gerado por IA, e revisar esse código exige mais esforço que escrevê-lo do zero, o problema não está na geração, mas na ausência de uma verdade operacional compartilhada. O 'código como especificação' não é uma ideia nova, mas ganha urgência agora porque agentes precisam de contratos formais para agir, não de prompts ambíguos ou documentos PDFs que desviam com o tempo.

O ecossistema Haskell ilustra isso tecnicamente: sua tipagem estática, inferência robusta e semântica bem definida fazem com que funções como map :: (a -> b) -> [a] -> [b] sejam, ao mesmo tempo, contrato, documentação e implementação. Em 2026, ferramentas como o kit de SDD do GitHub (setembro/2025) replicam essa lógica para outras linguagens, forçando a separação estrita entre 'o quê' (especificação executável) e 'como' (implementação descartável). A diferença prática? Um teste gerado por IA pode falhar silenciosamente se o prompt for impreciso; já uma especificação escrita em DSL formal, ou mesmo em código funcional puro, é verificável, testável e imune a interpretações equivocadas.

Isso importa porque o gargalo do desenvolvimento não é mais escrever código, mas garantir que ele faça *exatamente* o que foi acordado, especialmente quando agentes estão envolvidos em cada etapa do SDLC. A dívida técnica cresce 30, 41% em repositórios com suporte agentivo não regulado, não por má implementação, mas por deriva entre intenção e execução. Quando o código *é* a especificação, não há espaço para 'interpretação'. A segurança também melhora: vulnerabilidades como lógica insegura ou criptografia fraca são detectáveis antes da execução, se a especificação exigir propriedades formais (ex: 'essa função deve ser constante em tempo'). Para o desenvolvedor, isso significa menos tempo depurando erros de IA e mais tempo modelando comportamentos, o trabalho que realmente agrega valor.