Programming Languages: Application and Interpretation
Shriram Krishnamurthi, Brown University
Copyright Year: 2007
Publisher: Brown University
Conditions of Use
The text is very comprehensive in the coverage of programming languages and in particular their implementation, although relatively little attention is paid to parsing -- the author is very clear about this choice, and I agree with it. read more
The text is very comprehensive in the coverage of programming languages and in particular their implementation, although relatively little attention is paid to parsing -- the author is very clear about this choice, and I agree with it.
The content is error free, as far as I could judge
The principles covered in the text are definitely of primary concerns of programming language design and will remain relevant in the foreseeable future of computing.
The text is lucid and most concepts a re clearly articulated and explained well
The theme, terminology and framework adopted in the book are consistent.
The modularity is very good. Unlike other texts, the good *does not* follow a linear structure and encourages the student/reader/instructor to navigate it using their preferences. Despite this dynamic flow of control, the book remains surprisingly modular and consistent.
The organization and structure follows from the author's choice of a non-linear flow through the book, and yet the topics are presented in logically and clearly
The interface and navigation on the web site is very good and supports the non-linear flow
The grammar and language is excellent.
I did not find the text to be insensitive or offensive an any manner
Table of Contents
- 1 Introduction
- 2 Everything (We Will Say) About Parsing
- 3 A First Look at Interpretation
- 4 A First Taste of Desugaring
- 5 Adding Functions to the Language
- 6 From Substitution to Environments
- 7 Functions Anywhere
- 8 Mutation Structures and Variables
- 9 Recursion and Cycles: Procedures and Data
- 10 Objects
- 11 Memory Management
- 12 Representation Decisions
- 13 Desugaring as a Language Feature
- 14 Control Operations
- 15 Checking Program Invariants Statically: Types
- 16 Checking Program Invariants Dynamically: Contracts
- 17 Alternate Application Semantics
About the Book
Unlike some other textbooks, this one does not follow a top-down narrative. Rather it has the flow of a conversation, with backtracking. We will often build up programs incrementally, just as a pair of programmers would. We will include mistakes, not because I don't know the answer, but because this is the best way for you to learn. Including mistakes makes it impossible for you to read passively: you must instead engage with the material, because you can never be sure of the veracity of what you're reading.
At the end, you'll always get to the right answer. However, this non-linear path is more frustrating in the short term (you will often be tempted to say, “Just tell me the answer, already!”), and it makes the book a poor reference guide (you can't open up to a random page and be sure what it says is correct). However, that feeling of frustration is the sensation of learning. I don't know of a way around it.
At various points you will encounter this:
This is an exercise. Do try it.
This is a traditional textbook exercise. It's something you need to do on your own. If you're using this book as part of a course, this may very well have been assigned as homework. In contrast, you will also find exercise-like questions that look like this:
There's an activity here! Do you see it?
When you get to one of these, stop. Read, think, and formulate an answer before you proceed. You must do this because this is actually an exercise, but the answer is already in the book—most often in the text immediately following (i.e., in the part you're reading right now)—or is something you can determine for yourself by running a program. If you just read on, you'll see the answer without having thought about it (or not see it at all, if the instructions are to run a program), so you will get to neither (a) test your knowledge, nor (b) improve your intuitions. In other words, these are additional, explicit attempts to encourage active learning. Ultimately, however, I can only encourage it; it's up to you to practice it.
The main programming language used in this book is Racket. Like with all operating systems, however, Racket actually supports a host of programming languages, so you must tell Racket which language you're programming in.
This textbook has been used in classes at: Brown University, Cal Poly, Columbus State University, Northeastern University, NYU, Reed College, UC-San Diego, UC-Santa Cruz, University of Rhode Island, University of Utah, Westmont College, Williams College, Worcester Polytechnic Institute.
About the Contributors
Shriram Krishnamurthi is Associate Professor of Computer Science at Brown University.