It's a matter of inference, not just to any old explanation, but inference to the best explanation.
这是逻辑推论的结果,不是随便什么陈旧的解释,而是最佳解释的推论结果
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语义,将是一个帮助我们,决定哪些表达,哪部分的代码实际上,有意义的途径,好么?
应用推荐