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

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

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

Let's get the mikes going a second. So can we catch the guy with the-- can we catch this guy with the beard?

把麦克风准备好,能不能到那边的,留胡子的小伙子来说一下

耶鲁公开课 - 博弈论课程节选