
ML 现代编译器实现
Modern compiler implementation in ML
Andrew W. Appel · 初版 1997 年
24人推荐
50位读者提及
68次提及
为什么值得读
- 相比经典龙书更适合自学,内容结构更现代
- 深入探讨了函数式编程语言的核心编译实现技术
- 采用 ML 实现,熟悉 OCaml 的读者也能顺畅跟进
Hacker News 上怎么说
正在加载完整评论……

Modern compiler implementation in ML
Andrew W. Appel · 初版 1997 年
正在加载完整评论……
……21 世纪在 HN 上被提过太多次了,我都懒得再去评价它到底有没有用了。(感兴趣的可以去搜搜看)不过,对于感兴趣的人,我强烈推荐 Cooper 和 Torczon 写的《Engineering a Compiler》,或者 Appel 写的《Modern Compiler Implementation in ML》。这三本我都读过,龙书我只会推荐给对这个领域极度狂热的人。
…21st century so many times on HN that I'm not going to comment on it's usefulness. (Search if interested) But, for those interested, I highly recommend Engineering a Compiler by Cooper and Torczon OR Modern Compiler Implementation in ML by Appel. I've read all three and would only recommend the dragon book to someone very interested in the subject.
……说实话,建议在读 Nanopass 论文之前先看那篇。看完了这些之后,后续进阶我推荐 Niklaus Wirth 的《Compiler Construction》(http://www.inf.ethz.ch/personal/wirth/books/CompilerConstruc...)以及 Andrew Appel 的《Modern Compiler Implementation in ML》,按这个顺序来。Wirth 的书读起来很快,大概和 Crenshaw 的难度差不多。Appel 的书则更深入。另一条评论整理了好几个 HN 上的编译器讨论帖:http://news.ycombinator.com/item?id=1922002
…suggest that before the Nanopass paper, really. After those, I recommend Niklaus Wirth's _Compiler Construction_ (http://www.inf.ethz.ch/personal/wirth/books/CompilerConstruc...) and Andrew Appel's _Modern Compiler Implementation in ML_ for follow-up, in that order. Wirth's book is a quick read, about on par with Crenshaw's. Appel's is more in-depth. Another comment, linking several HN compiler threads: http://news.ycombinator.com/item?id=1922002
Andrew Appel 的《Modern Compiler Implementation in ML》大概就是你想要的。(http://www.amazon.com/Modern-Compiler-Implementation-Andrew-...) 虽然它用的是 SML,但如果你用 OCaml 的话其实很容易看懂,而且它的参考书目/文献也相当……
Andrew Appel's _Modern Compiler Implementation in ML_ is probably what you want. (http://www.amazon.com/Modern-Compiler-Implementation-Andrew-...) While it uses SML, it's not hard to follow if you use OCaml, and the bibliography / references are also quite…
经典之作是“龙书”:http://www.amazon.com/Compilers-Principles-Techniques-Alfred... 我个人也偏爱 Appel 的《Modern Compiler Implementation in ML》,因为它对函数式语言编译技术的讲解更加详细:http://www.amazon.com/Modern-Compiler-Implementation-Andrew-...
The classic is the "Dragon Book": http://www.amazon.com/Compilers-Principles-Techniques-Alfred... I'm also partial to Appel's "Modern Compiler Implementation in ML", because it goes into more detail about techniques for compiling functional languages: http://www.amazon.com/Modern-Compiler-Implementation-Andrew-...
我发现 Appel 的《Modern Compiler Implementation in ML》更适合自学,内容也更新潮。我用过 OCaml 但没用过 SML,读起来完全没有任何障碍。
I found Appel's _Modern Compiler Implementation in ML_ to be better-suited to self study, and more modern. I've used OCaml but not SML, and didn't have any problem following it.
Appel 的《Modern Compiler Implementation in ML》是一本不错的概览书。它用的是 SML,不过我只用过 OCaml,读起来也完全没问题。《Essentials of Programming Languages》(EoPL)是一本讲用 Scheme 写解释器的极好的书,……
Appel's _Modern Compiler Implementation in ML_ is a good overview. It uses SML, but I've only used OCaml and haven't had any problems following it. _Essentials of Programming Languages_ (EoPL) is a great book about writing interpreters in Scheme,…