Okay, not to dwell too much on math because you can very quickly bore someone in computer science by dwelling too much on math but it's useful even for logical constructs as we'll see with loops.

不要过于纠结于这些数学问题了,在计算机领域，你会很讨厌那些,在这上面钻牛角尖的人，但是对于那些,像循环这样的逻辑结构又是很有用的。

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

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语义,将是一个帮助我们,决定哪些表达，哪部分的代码实际上，有意义的途径，好么？

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