Programming Languages Application and Interpretation

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...

Full description

Saved in:
Bibliographic Details
Main Author: Krishnamurthi, Shriram (Author)
Format: Electronic eBook
Language:English
Published: [Place of publication not identified] Brown University 2017.
Edition:Version Second Edition
Series:Open textbook library.
Subjects:
Online Access:Access online version
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000 i 4500
001 OTLid0000035
003 MnU
005 20240122184811.0
006 m o d s
007 cr
008 180907s2007 mnu o 0 0 eng d
020 |a 0073523399 
040 |a MnU  |b eng  |c MnU 
050 4 |a QA76 
100 1 |a Krishnamurthi, Shriram  |e author 
245 0 0 |a Programming Languages  |b Application and Interpretation  |c Shriram Krishnamurthi 
250 |a Version Second Edition 
264 2 |a Minneapolis, MN  |b Open Textbook Library 
264 1 |a [Place of publication not identified]  |b Brown University  |c 2017. 
264 4 |c ©2007. 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 0 |a Open textbook library. 
505 0 |a 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 
520 0 |a 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: ExerciseThis 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: Do Now!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. 
542 1 |f Attribution-NonCommercial-ShareAlike 
546 |a In English. 
588 0 |a Description based on print resource 
650 0 |a Computer Science  |v Textbooks 
710 2 |a Open Textbook Library  |e distributor 
856 4 0 |u https://open.umn.edu/opentextbooks/textbooks/35  |z Access online version