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

O argumento contra a codificação agentic baseia-se em duas concepções errôneas: de que as especificações podem permanecer simples e de que podem gerar código funcional de forma confiável. Na prática, especificações verdadeiramente precisas tornam-se tão complexas quanto o próprio código, portanto, o próprio código deve ser considerado a especificação.