本节的主题只有一个：即，一旦提供了一个求值器之后，用户写的代码是一段程序，用户写的代码生成出来的依然是一段程序。