I see your point. I guess it's just the title that has turned me off even after reading the book. It doesn't seem to send the right message these days if the i

I see your point. I guess it's just the title that has turned me off even after reading the book. It doesn't seem to send the right message these days if the idea is that working programmers are building lambda calculus interpreters or theorem provers? Even interpreting a lisp would seem more practical. I think Practical Common Lisp was more in the right track for content but today I'd focus more explicitly on language design or backend system design. Andrew Appel's book does already fill the language design slot though nicely.