Pattern: A Sufficiently Detailed Spec Is Code

Haskell For All·medium signal

A haskellforall.com post gaining traction on r/programming (118 upvotes) argues that a spec precise enough to be unambiguous is computationally equivalent to code — the spec doesn't describe the program, it IS the program, with the LLM acting as a compiler. This reframes spec-driven development from a documentation practice into a first-class engineering primitive and justifies front-loading specification investment before any agent-generated code. Practically: if your spec is vague, your agent output is a random variable.