So actually, the problem with static semantics is you'd like it to catch everything, you don't always get it.
因此实际上,你希望静态语义检查,能捕获所有的错误,但是经常结果不是这样的。
麻省理工公开课 - 计算机科学及编程导论课程节选
应用推荐
模块上移
模块下移
不移动