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

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

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

OK. What happens if you actually have something that's both syntactically correct, and appears to have correct static semantics, and you run it?

好，当你的代码语法,没错误，并且也有正确的静态语义，你去运行它的时候会发生什么呢？

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

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

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

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

All right. Why is it a static semantic error?

好，这为什么是个静态语义错误呢？

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

This is a static semantic error.

这是个静态语义错误。

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