RecodeX 重构消息,作者探讨了详细规范与代码之间的区别,指出规范是代码的抽象,对应一组可能的实现,而代码是单一实现,即使有LLM,程序员在编写规范方面仍不可或缺。