ended3월 17일· 3 sources
A sufficiently detailed spec is code
충분히 상세한 명세는 곧 코드다
Why it matters
The article argues that when a specification becomes sufficiently detailed and precise, it effectively becomes code itself. It explores the blurred boundary between formal specifications and executable programs, particularly in the context of functional programming.
3
Sources
+0
24h
—
Growth
188d
Active
agentic codingai-assisted developmentcodecode generationformal methodsformal specificationhaskellllmopenai symphonypseudocodespecspecification