代码

将需求明确到机器可以执行的细节程度，是编程要做的事情，而其规约正是代码。人类发展到最后也不可能直接从规约中生成代码，光是了解需求，没有约束也不行。也就是说程序员不可或缺，而好的程序员却是少之又少（当然我不是在这里装逼，说我有多么多么牛逼），严谨，精确，规范，和详细，才是一个程序员和机器交流最基本的态度！