判断题 类型检查是一种捕捉程序中不一致性的成熟并且有效的技术。

判断题 解释执行的效率比编译器生成的机器代码的执行效率高。

判断题 解释器可以通过翻译来生成目标程序。