如果正如@sgrove所提议的，规范是未来的代码，那么调试是什么？ 1) 规范编译是一个编码代理将规范转化为代码的过程 2) 越来越多的“编译”将是无人值守的，减少观察代理逐行工作的时间，更多的是规范输入，代码输出 3) 类型错误 -> 真实性错误：大多数调试将是深入研究和实施计划中的markdown，以找到那一行错误的上下文，这使得编码代理在实施时无法成功。测试套件将检查真实性和逻辑一致性等内容。 4) 有一种新的更高阶的“附加步骤调试器”的风味，即观察代理逐步实施计划，以找出规范中的逻辑错误。当你在逐行调试程序时发现错误时，你会更改代码，重新启动过程，并重复直到它正常工作。当你在实施过程中逐步检查*规范*时发现错误时，你会向上游修复规范，并重新启动*实施*。