We hand you a bunch of programming code that we wrote because this is very much the norm in the real world.

我们给你们一些我们自己写的代码,因为在现实世界中这都是非常正常的。

哈佛公开课 - 计算机科学课程节选

What's the point? Again, you can have things that are syntactically legal but not semantically meaningful, and static semantics is going to be a way of helping us decide what expressions, what pieces of code, actually have real meaning to it. All right?

重点是什么？重申，你可以有东西在语义结构的逻辑上有意义,但是在语义上无意义，而static语义,将是一个帮助我们,决定哪些表达，哪部分的代码实际上，有意义的途径，好么？

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