A Little Smalltalk

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。

…Lisp implementation bibliography pretty much runs through PL research like a vein. Some of the stuff you must read for Lisp are typically in "books"; Christian Quinnec's Lisp in Small Pieces is the most important work, but you will need a good foundation in denotational semantics (you can get by with the one chapter in the little book by Nielson and Nielson, "Semantics with Applications: A Formal Introduction". Somewhere in there you will brush against various compilation methods and IRs for the lambda calculus, most importantly continuation passing style. Most semantics text introduce lambda calculus and its three rules, but none go in depth into this like the tall green book by Andrew Appel, "Compiling with Continuations", a good chunk of which can be read in Appel's other papers. Appel's work is MLish in nature, but don't let that stop…

… need to learn. Griswold's book on the Icon implementation was OK; it describes a complete compiler, intermediate instruction set and a VM in a compact book, but so did "A Little Smalltalk", in a far smaller frame and with class. Icon is a "modern" SNOBOL, if you want that sort of a thing. Most Icon books and publications are online as well: http://www.cs.arizona.edu/icon/books.htm