Readings
| For Quiz on Date | Readings | Total Pages |
|---|---|---|
| n/a |
(Optional) Appendix A: Refresher on Files and the Shell Our course packet is not yet printed. For now, view the reading here. |
11 pages |
| Thursday, Feb 13 |
Preface What is a Programming Language? An Introduction to F# More F# Our course packet is not yet printed. For now, view the readings here. |
31 pages |
| Thursday, Feb 20 |
F#: The Cool Stuff (Optional) Microsoft's F# Documentation |
15 pages |
| Thursday, Feb 27 |
Higher Order Functions |
5 pages |
| Thursday, Mar 6 |
Syntax and Introduction to the Lambda Calculus, Part 1 |
18 pages |
| Thursday, Mar 13 |
Introduction to the Lambda Calculus, Part 2 |
15 pages |
| Thursday, Apr 10 |
Gumptionology 101 and Proof by Reduction |
14 pages |
| (read over break; no quiz) |
Beating the Averages |
8 pages |
| Thursday, Apr 17 |
Parsing |
21 pages |
| Thursday, Apr 24 |
Evaluation |
8 pages |
| Thursday, May 1 |
Implementing Variables and Implementing Scope (but the quiz will be on type inference; see class notes) |
20 pages |