원문: haskellforall.com | 토론: GeekNews · 댓글 6개
핵심 요약 에이전틱 코딩 시대에 “명세 문서로 코드를 대체할 수 있다"는 주장의 근본적 한계를 지적하는 글. 명세가 충분히 정밀해지면 결국 코드와 동일한 형태로 수렴할 수밖에 없다는 논리를 전개한다. OpenAI의 Symphony 프로젝트 SPEC.md를 예시로 들며, LLM이 짧은 설명으로 코드를 생성할 수는 있지만 신뢰성 있는 생성과는 다르다는 점을 강조한다. Synquid 같은 프로그램 합성 언어가 이미 수학적으로 정확한 명세 기반 코드 생성의 한계를 보여주고 있으며, 결국 “에이전트에게 맡기면 된다"는 낙관론에 근본적 의문을 제기한다.
커뮤니티 의견
- @savvykang: “이 다음에는 워터폴이랑 애자일도 재발명하겠네요”
- @jjw9512151: “C 임베디드 개발자로서 Feature/Subfeature에 대해서 거의 모든 흐름을 chart로 확인하게 명세를 만든다음 명세와 완전히 1대1 대응되는 코드를 생성해서 사용하네요. 명세로 검토하면 코드검토보다 가독성이 월등히 좋아서요.”
- @gracefullight: “모델 주도 개발 때랑 똑같은 거 같네요.”
💡 실무 포인트: AI 코딩 에이전트에 작업을 위임할 때, 명세의 정밀도가 곧 결과물의 신뢰도를 결정한다. 핵심 비즈니스 로직은 자연어 명세가 아닌 테스트 코드나 타입 시스템으로 제약을 걸어야 한다.