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

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

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