2 ms·

Lisp In Small Pieces (http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/LiSP.html http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/LiS...) is sor

by sethg 17y ago

Lisp In Small Pieces (http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/LiSP.html http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/LiS...) is sort of intermediate between SICP and the Peyton-Jones stuff; it still focuses on Lisp dialects that use dynamic typing and applicative-order evaluation, but it shows a whole bunch of different approaches to exploring that design space and implementing stuff in it. I also enjoyed reading Pierce's Types and Programming Languages (http://www.cis.upenn.edu/~bcpierce/tapl/ http://www.cis.upenn.edu/~bcpierce/tapl/), although I was kind of nodding my head and going "yeah, whatever" during some of the proofs.

mahmud 17y ago
Both recommendations are little too high for someone just coming out of SICP. I recommend Essentials of Programming Languages as a stepping stone. Pierce's book is probably irrelevant to someone just interested in Lisp; type theory is best approached through an ML angle. And Quinnec's book is not for the faint of heart; you will need to have been well versed in lisp, compiler/runtime implementation techniques and have brushed against denotational semantics (through the Nielson and Nielson book, perhaps.) [edit: denotational, not operational, semantics; OS can be learned in a fun-filled weekend. The "small-step" variety should appeal to both language hackers and (virtual) machine enthusiasts.]