Not everything is going to get caught in static semantics checking.
并不是所有的错误,都会在静态语义检查中被捕获。
麻省理工公开课 - 计算机科学及编程导论课程节选
应用推荐
模块上移
模块下移
不移动