足够全面的规范并非（必然）是代码

本文探讨了规范与代码的区别：规范对应一组可能的实现，而代码只是其中的单一实现。即使规范足够全面和精确，它仍然是一种抽象，而非代码本身。作者强调保持"规范"和"代码"作为不同概念的重要性。