An Introduction to Scheme and its Implementation

Description

Contents......Page 1 Overview......Page 8 Scheme......Page 9 Who is this Book for......Page 10 Why Scheme......Page 12 Why Scheme now......Page 13 What this Book is not......Page 14 Structure of the Book......Page 15 Intro......Page 17 What is Scheme? (Hunk A)......Page 18 Basic Scheme Features......Page 19 Code Consists of Expressions......Page 20 Boolean Values #t & #f......Page 32 Other Control-Flow Constructs - cond, and & or......Page 33 Comments (Hunk C)......Page 40 Parentheses & Indenting......Page 41 All Values are Pointers to Objects......Page 46 Scheme reclaims Memory automatically......Page 53 Objects have Types, Variables don't......Page 54 Empty List (Hunk E)......Page 55 Pairs & Lists......Page 56 cdr-linked Lists......Page 57 Lists & Quoting......Page 61 Where the Empty List got its Name......Page 63 Handy Procedures that operate on Lists......Page 64 Type & Equality Predicates (Hunk G)......Page 78 Type Predicates......Page 79 Equality Predicates......Page 80 Choosing Equality Predicates (Hunk I)......Page 82 Quoting & Literals......Page 83 Local Variables & Lexical Scope......Page 86 Procedures (Hunk K)......Page 95 Procedures are First Class......Page 96 Higher-Order Procedures......Page 99 lambda & Lexical Scope (Hunk M)......Page 101 Local Definitions......Page 103 Multiple defines are like letrec......Page 108 Variable Arity......Page 111 Identifiers & Variables......Page 115 Tail Recursion (Hunk O)......Page 120 Macros......Page 121 Continuations......Page 122 Iteration Constructs......Page 123 Using Scheme Tutorial......Page 124 Interactive Programming Environment (Hunk B)......Page 125 Starting Scheme......Page 127 Mistakes & Recovering from them......Page 129 Returns & Parentheses......Page 131 Interrupting Scheme......Page 132 Exiting (Quitting) Scheme......Page 133 Trying out more Expressions......Page 134 Booleans & Conditionals......Page 137 Sequencing......Page 139 Making some Objects (Hunk D)......Page 141 Lists (Hunk F)......Page 146 Predicates (Hunk H)......Page 151 Type Predicates......Page 153 Equality Predicates......Page 155 Local Variables, let & Lexical Scope (Hunk J)......Page 157 First-Class Procedures......Page 158 Higher-Order Procedures......Page 161 Replacing Procedure Values......Page 164 Loading Code from a File......Page 165 Loading & Running Whole Programs......Page 167 Other Data Types......Page 168 Strings......Page 169 Symbols......Page 171 Lists again......Page 176 Procedural Abstraction......Page 186 Procedure Specialization......Page 187 Currying......Page 191 Writing an Interpreter......Page 193 Interpretation & Compilation......Page 194 Implementing simple Interpreter......Page 196 Lambda is cheap & Closures are fast......Page 227 Interpreting let......Page 236 Variable References & set!......Page 237 Interpreting lambda & Procedure Calling......Page 239 Subproblems & Reductions (Non-Tail & Tail Calls)......Page 250 Continuation Chain......Page 252 Exploiting Tail Recursion......Page 259 Quasiquotation & Macros......Page 267 Defining new Special Forms......Page 271 Implementing more Special Forms......Page 277 Lisp-Style Macros......Page 280 Simple Macros & Quasiquote......Page 286 Records (Structures)......Page 290 Simple Uses of OOP Objects......Page 293 Generic Procedures & Classes are First-Class......Page 298 Implementing simple Object System......Page 299 call-with-current-continuation......Page 309 Simple Scheme Compiler......Page 314 Basic Structure of the Compiler......Page 317 Data Representations, Calling Convention, etc.......Page 318 Continuations......Page 322 More on Representations of Environments......Page 324 Compiling Code for Literals......Page 326 Compiling Code for Top-Level Variable References......Page 327 Precomputing Local Variable Lookups using Lexical Scope......Page 328 Preserving Tail-Recursiveness using Compile-Time Continuations......Page 335 Compiling Top-Level Expressions......Page 339 Compiling lambda Expressions Inside Procedures......Page 340 Compiling Top-Level Definitions......Page 341 Interfacing to the Runtime System......Page 342 Advanced Compiler & Runtime System Techniques......Page 343