Chapter 0 Preface¶
Chapter 1 Grammars¶
Chapter 2 Functional Programming¶
- 2.1. Introduction to Functional Programming - List Construction and Deconstruction
- 2.2. Functional Programming - Developing basic, recursive list-processing functions
- 2.3. Functional Programming - Recurring On Lists That Aren't Flat
- 2.4. Functional Programming - Using Helper Functions with Accumulators
- 2.5. Functional Programming - Scope, Closures, Higher-order Functions, Static vs. Dynamic Binding
- 2.6. Functional Programming - Procedural Abstraction: Map, Curry, and Compose
- 2.7. Functional Programming - Procedural Abstraction: The Filtering and Folding (Reduce) Patterns
- 2.8. Functional Programming - Combining Map and Reduce
- 2.9. Functional Programming - Continuations and Continuation Passing
Chapter 3 Lambda Calculus¶
Chapter 4 Interpreting the Functional Language SLang 1¶
Chapter 5 Interpreting the Imperative Language SLang 2¶
Chapter 6 Variations on Parameter Passing¶
Chapter 7 Data Typing The Good And The Bad¶
- 7.1. Variations on how languages think about types
- 7.1.1. Examples in various languages
- 7.1.2. Type Environments and Typing Rules Expressed as Post Systems
- 7.1.3. Type Inferencing Problem 1
- 7.1.4. Type Inferencing Problem 2
- 7.1.5. Type Inferencing Problem 3
- 7.1.6. Type Inferencing Problem 4
- 7.1.7. Type Inferencing Problem 5
- 7.1.8. Type Inferencing Problem 6