Haskell for all: A sufficiently detailed spec is code

2026-03-19

The argument against agentic coding rests on two misconceptions: that specs can remain simple and that they can reliably generate functional code. In practice, truly precise specifications become as complex as the code itself, so the code itself should just be considered the spec.