What does Essentials of Programming Languages (EOPL) teach?
Is it an appropriate book to read after SICP?
Which edition of EOPL should I read for self-study?
I liked it, it's a bunch of interpreters written in Scheme, if nothing else the chapters on continuation passing style should be required reading for every Schemer.
continuation passing style
The Seasoned Schemer has lots of CPS.
Does EOPL have more?
I don't remember what was in The Seasoned Schemer. EOPL has two chapters on CPS, one for interpreters (implementing tail calls, threads, etc.), the other about transforming code into CPS.
What does Essentials of Programming Languages (EOPL) teach?
Programming language concepts and their implementation.
Will it teach me how to write an R5RS or R7RS-small Scheme compiler?
No. It is interpreters only and the languages implemented are not Lisps. Lisp in Small Pieces is closer to that, but I have not read it yet.
Lisp in Small Pieces
Fantastic book. Thanks.
For becoming knowledgeable about programming language theory, does the book list below give the correct reading order?
1. Structure and Interpretation of Computer Programs (SICP)
2. Essentials of Programming Languages (EOPL)
3. Lisp in Small Pieces
4. Types and Programming Languages (TAPL)
Where is the Principia Mathematica?
>>9
Are you referring to Principia Mathematica by Alfred North Whitehead and Bertrand Russell?
https://en.wikipedia.org/wiki/Principia_Mathematica
How is that book related to programming language theory?
It's about logic, which is "the calculus of computer science". Although I am not sure I would recommend it. Instead, Software Foundations, especially its first two volumes, Logical Foundations and Programming Language Foundations, is a very good, practical and fun introduction to logic and its use in PLT: https://softwarefoundations.cis.upenn.edu/
I can assure you the person suggesting that you read borderline Bourbaki style literature hasn't bothered to read what is essentially a very large Coq source file.
I did not post >>9, only >>11, if you don't believe me you can point to an exercise from the first three volumes and I will post a working solution.
>>9
In my mind :D
borderline Bourbaki style literature
Which book is borderline Bourbaki style literature? Software Foundations or Principia Mathematica?
They meant Principia Mathematica for sure, just flip through this: https://archive.org/details/alfred-north-whitehead-bertrand-russel-principia-mathematica.-1/Alfred%20North%20Whitehead%2C%20Bertrand%20Russel%20-%20Principia%20Mathematica.%201/page/273/mode/2up
>>16
Nice, thanks.