
用续延编译
Compiling with Continuations
Andrew W. Appel · 初版 1992 年
19人推荐
35位读者提及
47次提及
为什么值得读
- 函数式语言编译器设计领域的经典进阶指南
- 论证将代码转为CPS是极其高效的编译实现途径
- 为Scheme等语言实现者提供了极具价值的指导
Hacker News 上怎么说
正在加载完整评论……

Compiling with Continuations
Andrew W. Appel · 初版 1992 年
正在加载完整评论……
……心里装着读者。大家应该去看的入门书(正如在别处提到的)应该是 Appel 写的 ML 语言编译器入门书;至于进阶内容,大家应该看看像 Appel 的《Compiling with Continuations》、Muchnick(是这么拼吗?)的书,以及另外一两本。我认为关键在于:1) 大多数人接触龙书都早于第2版,而且根据你的经验,大部分的学习……
…reader in mind. The intro book people should look at is (as mentioned elsewhere), should be the intro to compilers in ml book by appel, and for advanced stuff folks should look at stuff like appel's compiling with continuations, the munchnick (spelling?) book, and one or two others. I think the point is that 1) most exposure to the dragon book for most folks predates the 2nd edition, and in your experience, most of the learning…
……关于他们使用 Cheney Trampoline 的文章。正如在这种讨论中一贯的那样,我推荐给 Scheme 实现者这三本好书:* Christian Queinnec 的《Lisp in Small Pieces》 * Andrew Appel 的《Compiling with Continuations》 * John Allen 的《Anatomy of Lisp》
…writeup on their use of the Cheney Trampoline. As is always the case in such discussions, I'll mention these three fine books for Scheme implementers: * Lisp in small pieces, by Christian Queinnec * Compiling with continuations, by Andrew Appel * Anatomy of Lisp, by John Allen
如果你对编写函数式编译器感兴趣,我推荐 Christian Queinnec 的《Lisp In Small Pieces》(LISP)和 Andrew Appel 的《Compiling with Continuations》。另外还有:http://matt.might.net/articles/cps-conversion/ http://lucacardelli.name/Papers/BasicTypechecking.pdf http://library.readscheme.org/page1.html…
I recommend Lisp In Small Pieces (LISP) by Christian Queinnec and Compiling with Continuations by Andrew Appel if you're interested in writing a functional compiler. Also: http://matt.might.net/articles/cps-conversion/ http://lucacardelli.name/Papers/BasicTypechecking.pdf http://library.readscheme.org/page1.html…
是的。去看看 Andrew Appel 写的《Compiling with Continuations》这本书。编译器不仅可以“在底层将 direct style 转换为 CPS”,而且这也是实现编译器最高效、最有效的方法之一。从高层次来看,CPS 提供了一种中间……
Yes. Check out the book "Compiling with Continuations" by Andrew Appel. Not only can a compiler "convert direct style to CPS under the hood," it's one of the more efficient and effective ways to implement a compiler. At a high level, CPS provides an intermediate…
……书里讲 Techniques in {ML,C}_ 的部分。个人觉得 ML 那本更好。那些书更详细地涵盖了其他方法(LL、LALR、SLR 等),我也会毫不犹豫地推荐其中任一本用来学习编译器。(Appel 的《Compiling with Continuations》也很棒,但没有涵盖 parsing 部分。)接着,Dick Grune 的《Parsing Techniques: A Practical Guide》(http://www.few.vu.nl/~dick/PTAPG.html)是一本很好的参考书……而且很详尽。如果你……
…Techniques in {ML,C}_ books. The ML one is better, IMHO. Those cover other methods (LL, LALR, SLR, etc.) in greater detail, and I'd also recommend either for learning compilers in a heartbeat. (Appel's _Compiling with Continuations_ is also excellent, but doesn't cover parsing.) Following that, Dick Grune's _Parsing Techniques: A Practical Guide_ (http://www.few.vu.nl/~dick/PTAPG.html) is a good reference...and thorough. If you're…
……http://caml.inria.fr/pub/docs/oreilly-book/html/index.html)。它涵盖的是该语言稍早的一个版本,但那主要影响库。Andrew Appel 的《Modern Compiler Implementation in ML》和《Compiling with Continuations》都是极好的编译器书籍,它们恰好都用 SML 来写代码。Joshua Smith 的《Practical OCaml》很烂。非常烂。我都惊了。避坑吧。Chris Okasaki 的《Purely Functional Data Structures》是……
…http://caml.inria.fr/pub/docs/oreilly-book/html/index.html). It covers a slightly older version of the language, but that mostly impacts libraries. Andrew Appel's _Modern Compiler Implementation in ML_ and _Compiling with Continuations_ are both great compiler books, which happen to use SML for the code. Joshua Smith's _Practical OCaml_ is bad. Really bad. I was shocked. Avoid. Chris Okasaki's _Purely Functional Data Structures_ is…