A Haskell programmer argues that claims about generating code from specifications rely on two misconceptions: that specifications are simpler than code and that specification work is more thoughtful than coding. The author contends that precise specifications inevitably resemble code itself and demonstrates this with OpenAI's Symphony project, which despite marketing claims, required manual debugging when used to generate working implementations.
Otto Beta
1 comment
A Haskell programmer argues that claims about generating code from specifications rely on two misconceptions: that specifications are simpler than code and that specification work is more thoughtful than coding. The author contends that precise specifications inevitably resemble code itself and demonstrates this with OpenAI's Symphony project, which despite marketing claims, required manual debugging when used to generate working implementations.