...
Week | Day | Date | Lecture Topic and Resources | Work Assigned | Work Due |
|---|---|---|---|---|---|
| Tu | Aug 27 | Motivation and the Elements (Constants) of Racket | HTDP Part 1 (Ch 1-8) | Sep 03 | |
| Th | Aug 29 | [Canceled for Hurricane Laura] | Sep 05 | ||
| Tu | Sep 01 | Conditionals, Function Definitions and Computation by Reduction | Review Ch 8 HTDP Part 2 (Ch 9-10) | Sep 08 | |
| 3 | Th | Sep 03 | The Program Design Recipe for Racket focusing on recursion on processing lists and natural numbers | Preface, 9.4 HTDP Part 2 (Ch 11-13) | Sep 10 |
| Tu | Sep 08 | Data Definitions, Data-driven Structural Recursion, | HTDP Part 3 | Sep 16 | |
| 5 | Th | Sep 10 | Mutually Recursive Definitions and Help Functions | HTDP Ch 15-17 | Sep 17 |
| Tu | Sep 15 | Local Definitions and Lexical Scope | HTDP Parts 5-6 | Sep 23 | |
| Th | Sep 17 | Lambda the Ultimate and Reduction Semantics | LawsOfEval.pdf | Sep 26 | |
8 | Tu | Sep 19
| Functional Abstraction and Polymorphism | Oct 6 | |
9 | Th | Sep 24 | Functions as Values | Homework 4 | Oct 5 |
10 | Tu | Sep 29 | Generative (Non-structural) Recursion
| Oct 6 | |
11 | Th | Oct 01 | Lazy Evaluation and Non-strict Constructors | ||
12 | Tu | Oct 06 | Techniques for Implementing Lazy Evaluation | Homework 5 | Oct 14 |
13 | Th | Oct 08 | A Glimpse at Imperative Racket and Memoization | ||
| Tu | Oct 13 | Racket Review | ||
13 | Th | Oct 15 | On to Java! | OO Design Notes | |
| Fri | Oct 16 | Midterm | |||
14 | Tu | Oct 22 | Adapting the HTDP Design Recipe to Java | Homework 6 | Oct 27 |
15 | Th | Oct 24 | OO Idioms for Expressing Functional Computations | ||
16 | Tu | Oct 29 | The Visitor Pattern | Homework 7 | Nov 5 |
17 | Th | Oct 31 | Java Generics and Their Role in FP in Java | ||
18 | Tu | Nov 05 03 | The Strategy Pattern: Functions as Arguments in Java | Homework 8 | Nov 12 |
19 | Th | Nov 0705 |
| ||
20 | Tu | Nov 1210 | Core Haskell (call-by-name, lazy constructors) | Homework 9 | Nov 19 |
21 | Th | Nov 1412 | Haskell Pattern Matching | ||
22 | Tu | Nov 1917 | Haskell Type Classes | Homework 10 | Dec 16 |
23 | Th | Nov 2119 | Racket letcc; Semantics of Haskell Exceptions |
...