Издательство: McGRAW-HILL BOOK ISBN: 0-07-001115-X
Формат: PDF
Количество страниц: 463 Описание:This book is not up to date, this book is out-of-print, but if you're a lisp or scheme hacker you owe it to yourself to get a copy of this book any [legal] way you can. This is by far the most intelligent book ever written on LISP.
The book starts with the basics of symbolic computing, and then moves on: a detailed analysis of syntax (without taking any shortcuts on sexprs), interpretation, [a hasty introduction to] the lambda calculus, denotational semantics (!), compilation and code generation, the top-level and the run-time environment, including garbage collection. Special emphasis is placed on imperative LISP. All this described in 446 pages of a single book. This book packs about 5-6 different university courses in a single volume! The level of the discussion is high, there are plenty of examples of real code, but thankfully the author avoids many of the pitfalls of later books on Scheme and functional programming: (1) He doesn't employ the "running example" approach to writing computer books: Each example is small, very focused, and the discussion remains academic. (2) Formalisms are explained in quasi-mathematical lambda-notation, rather than by dumping source code on the poor reader.
This is a very rich source. The book discusses issues that other authors typically punt: labels and goto, side effects on constants (this is the ONLY book that mentions a problem known as The Anomaly of Quote), etc.
This is an old book, and it does not mention hygienic macro systems, continuations, object orientation, and other more recent topics. Nevertheless, while there are some awesome books written on LISP and Scheme, the Anatomy of LISP is by a far stretch the best written and most intelligently written.
