And it becomes a powerful way of reasoning about the code, a powerful way of using the code, so those notions of specs are really important.
以保证你写对代码,这将成为分析代码,使用代码的重要手段,所以规范说明的概念。
麻省理工公开课 - 计算机科学及编程导论课程节选
应用推荐
模块上移
模块下移
不移动