为算术语言（Arithmetic-Language）实现编译器和解释器

为算术语言（Arithmetic-Language）实现编译器和解释器

 

到目前，我们更注重的是语言本身的设计，即前端，没有涉及语言的编译器或解释器的实现，即后端。在这一节，我们将关注后端的实现，由抽象语法树（Abstract Syntax Tree，AST）定义的一种简单的算术语言。第一小节所展示的抽象语法树是基于联合类型的。

在下一章“解析文本”，我们还要回到这个示例，来构建这种语言的前端。此时，我们已经有效地构建了一种小型语言，但这不是本章的重点，当前的重点只关注后端。

对解析器的结果，有两种不同的作用模式：编译和解释。编译，即把把抽象语法树改变成其他某种格式，对于机器运行来讲可能更快或更方便。起初，这几乎就是意谓着本机代码；然而，在今天，它可能是指向更加抽象的内容，比如中间语言（IL）、F#，甚至是 C#。解释结果，对结果立即起作用，而不需要改变抽象语法树。我们将两小节来简单地讨论“解释抽象语法树”和“编译抽象语法树”，然后，在“编译与解释”一节，通过比较来获得应该何时哪一种办法的概念。