我同意龙书的参考;IMO，它是编译器构造的权威指南。准备好接受一些核心理论吧。

If you want a book that is lighter on theory, Game Scripting Mastery might be a better book for you. If you are a total newbie at compiler theory, it provides a gentler introduction. It doesn't cover more practical parsing methods (opting for non-predictive recursive descent without discussing LL or LR parsing), and as I recall, it doesn't even discuss any sort of optimization theory. Plus, instead of compiling to machine code, it compiles to a bytecode that is supposed to run on a VM that you also write.

这仍然是一本不错的读物，尤其是如果你能在亚马逊上以便宜的价格买到的话。如果你只想简单介绍编译器，《Game Scripting Mastery》是个不错的选择。如果你想先玩硬核游戏，那么你应该选择《龙之书》。

还有一本书还没有推荐，但非常重要，那就是约翰·莱文的《链接器和加载器》。如果您不使用外部汇编程序，则需要一种方法来输出可以链接到最终程序的目标文件。即使您正在使用外部汇编程序，也可能需要了解重定位以及整个程序加载过程如何工作，以制作一个工作工具。这本书收集了很多关于各种系统的这个过程的随机知识，包括Win32和Linux。

I think Modern Compiler Implementation in ML is the best introductory compiler writing text. There's a Java version and a C version too, either of which might be more accessible given your languages background. The book packs a lot of useful basic material (scanning and parsing, semantic analysis, activation records, instruction selection, RISC and x86 native code generation) and various "advanced" topics (compiling OO and functional languages, polymorphism, garbage collection, optimization and single static assignment form) into relatively little space (~500 pages).

我更喜欢《现代编译器实现》而不是《Dragon》，因为《现代编译器实现》对该领域的调查较少——相反，它确实涵盖了编写一个严肃、体面的编译器所需的所有主题。在你读完这本书之后，如果你需要的话，你就可以直接深入研究论文了。

I must confess I have a serious soft spot for Niklaus Wirth's Compiler Construction. It is available online as a PDF. I find Wirth's programming aesthetic simply beautiful, however some people find his style too minimal (for example Wirth favors recursive descent parsers, but most CS courses focus on parser generator tools; Wirth's language designs are fairly conservative.) Compiler Construction is a very succinct distillation of Wirth's basic ideas, so whether you like his style or not or not, I highly recommend reading this book.

我认为这是一个相当模糊的问题;只是因为这个话题涉及的深度。然而，编译器可以被分解成两个独立的部分;上半身和下半身。上半部分通常采用源语言并将其转换为中间表示，下半部分负责特定于平台的代码生成。

尽管如此，解决这个问题的一个简单方法(至少是我们在编译器类中使用的方法)是在上面描述的两部分中构建编译器。具体来说，通过构建上半部分，您将对整个过程有一个很好的了解。

Just doing the top half lets you get the experience of writing the lexical analyzer and the parser and go to generating some "code" (that intermediate representation I mentioned). So it will take your source program and convert it to another representation and do some optimization (if you want), which is the heart of a compiler. The bottom half will then take that intermediate representation and generate the bytes needed to run the program on a specific architecture. For example, the the bottom half will take your intermediate representation and generate a PE executable.

关于这个主题的一些书，我发现特别有用的是编译器原理和技术(或者龙书，因为封面上有可爱的龙)。它有一些很棒的理论，而且肯定以一种非常容易理解的方式涵盖了上下文无关语法。此外，为了构建词法分析器和解析器，您可能会使用*nix工具lex和yacc。而且很无趣的是，这本名为《莱科斯和雅克》的书继承了《龙之书》这部分的内容。

“让我们构建一个编译器”是很棒的，但它有点过时了。(我并不是说这让它变得不那么有效。)

或者看看俚语。这类似于“让我们构建一个编译器”，但对于初学者来说是一个更好的资源。这是一个pdf教程，需要7步的方法来教你一个编译器。添加quora链接，因为它有各种各样的俚语端口的链接，在c++， Java和JS中，也有python和Java中的解释器，最初是用c#和。net平台编写的。

如果你对为函数式语言(而不是过程式语言)编写编译器感兴趣，Simon Peyton-Jones和David Lester的《实现函数式语言:教程》是一个很好的指南。

函数式计算如何工作的基本概念是通过简单但功能强大的函数式语言“Core”中的示例来指导的。此外，Core语言编译器的每个部分都用Miranda(一种与Haskell非常相似的纯函数式语言)中的代码示例进行了解释。

书中描述了几种不同类型的编译器，但即使你只遵循Core的模板编译器，你也会对函数式编程有一个很好的理解。