A sufficiently comprehensive spec is not (necessarily) code
16 hours ago
- 规范是一种抽象，代表一组可能的实现，而不是代码本身。
- 如果一个规范中的任何合理实现都能满足规范制定者，即使不够全面，该规范也是充分的。
- 仍然需要程序员用正式语言（如测试套件）对规范进行编码，这些语言与代码仍有区别。
- LLM的不确定性和语言的模糊性意味着规范可能产生不一致的结果，强化了规范与代码之间的区别。
- 即使是低级程序（如C语言或机器代码）也可以被视为规范，因为存在不同的实现。