问Haskell编译器是如何工作的？

EN

你可以从马的嘴里得到答案！Simon Peyton Jones (GHC向导)写了一本书，解释了如何实现函数式编程语言。由于现已绝版，可在网上免费获得：http://research.microsoft.com/en-us/um/people/simonpj/papers/pj-lester-book/

当然，自从这本书出版以来，GHC已经向前迈进了一步，但它仍然非常相关。

你在寻找特别是关于编译惰性评估的细节吗？有一本书是Simon Peyton-Jones的书，Max Bolingbroke提到了这本书，还有一本书详细介绍了Clean的实现：

http://wiki.clean.cs.ru.nl/Functional_Programming_and_Parallel_Graph_Rewriting

如果你有大学背景，想要更小的书，你可以试着买这些书(Henderson & Diller的书肯定已经绝版了)：

Antoni Diller“编译函数语言”ISBN0471 92027 4

彼得·亨德森“函数式程序设计应用与实现”ISBN 0-13-331579-7

AJT Davie "An Introduction to Functional Programming Systems using Haskell“ISBN 0521 27724 8

Diller通过combinator reduction为一种惰性语言(用Pascal实现)提供了一个完整的编译器。这是David Turner为SASL发明的实现技术。亨德森有一个针对LISPkit的编译器的许多部分，它是Lisp的一个缩影，懒惰的变体。Davie详细介绍了编译懒惰语言的相当多的机制，例如，对STG的描述比Simon Peyton-Jones的书要短得多( STG是用于Haskell的抽象机器SPJ )。

如果你浏览他们的出版物列表，Clean developers有相当多关于实现SAPL (一种简单的应用语言)的信息：

https://clean.cs.ru.nl/Publications

最后，有相当多的论文记录了Utrecht Haskell编译器UHC (和EHC)的各个方面。我认为大多数信息是编译器是如何组织的(使用属性语法和"Shuffle")以及类型系统(在EHC中有不同级别的类型系统)是如何实现的，而不是后端“编译”是如何工作的。

编译器是一个庞大的主题，在这里完全解释它们是不可能的。但这里是一个通用编译器的概述。希望这能给你一些理解，让阅读关于GHC的东西更容易理解一些。

编译器通常通过两个部分进行一系列转换，即前端和后端。

第一种转换是将纯文本转换为更容易遍历的内容。它本身通常被分成两部分：

Lexical Analysis or Tokenization -将纯文本转换为小块(通常是运算符、标识符、文字等)的行为。

Syntactic Analysis or Parsing -将这些小块转换为树结构。(通常为AST, an Abstract Syntax Tree)

下一阶段是语义分析。在这一阶段，编译器通常会向AST添加信息(如类型信息)并构建一个符号表。这就结束了前端。

下一个转换将AST转换为IR, an Intermediate Representation。这通常是现在的an SSA form, a Single Static Assignment。

然后，通过常量传播、死代码分析、矢量化等对其进行优化。

最后一个转换是代码生成。将IR转换为机器代码。这可能非常复杂。它有时也被称为降低。

有关更多信息，我推荐this wikipedia page。