OK. Having done this now, I can simply go ahead and run this, and in fact if I go up here to run, you'll see I've got both an option to check the module, though in this case I'm just going to run 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?

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

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