So actually, the problem with static semantics is you'd like it to catch everything, you don't always get it.

因此实际上，你希望静态语义检查,能捕获所有的错误，但是经常结果不是这样的。

麻省理工公开课 - 计算机科学及编程导论课程节选

Not everything is going to get caught in static semantics checking.

并不是所有的错误,都会在静态语义检查中被捕获。

麻省理工公开课 - 计算机科学及编程导论课程节选