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

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

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

The problem is, things that you catch here are bug actually the least worrisome bugs.

问题是，这儿你捕捉到的问题是,隐患最小的。

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