Lecture schedule is subject to change!
| Date | Topic | Material |
|---|---|---|
| 9/23 | Hello, World! | html |
| 9/26 | The Lambda Calculus | html |
| 9/28 | contd. | |
| 9/30 | contd. | |
| 10/3 | contd. | |
| 10/5 | contd. | |
| 10/7 | A crash course in Haskell | html |
| 10/10 | contd. | |
| 10/12 | contd. | |
| 10/14 | contd. | |
| 10/17 | Datatypes and Recursion | html |
| 10/19 | contd. | |
| 10/21 | contd. | |
| 10/24 | Higher Order Functions | html |
| 10/26 | contd. | |
| 10/28 | Midterm | |
| 10/31 | Environments and Closures | html |
| 11/2 | contd. | |
| 11/4 | contd. | |
| 11/7 | Overloading & Typeclasses | html |
| 11/9 | contd. | |
| 11/11 | No lecture: Veteran’s day | |
| 11/14 | ||
| 11/16 | ||
| 11/18 | ||
| 11/21 | ||
| 11/23 | ||
| 11/25 | No lecture: Thanksgiving | |
| 11/28 | Monads/review | html code |
| 11/30 | Monads/review | |
| 12/2 | Monads/review | |
| 12/7 | Final |
Discussions
| Date | Topic |
|---|---|
| 9/28 | Lambda Calculus: intro, syntax and reductions |
| 10/5 | Lambda Calculus: data type encodings |
| 10/12 | Haskell: simple recursion |
| 10/19 | Haskell: recursive data types |
| 10/26 | Midterm review |
| 11/2 | Haskell: folds. |
| 11/9 | Nano: interpreters, lexers, and parsers |
| 11/16 | Type classes and Quickcheck |
| 11/23 | IO Monad |
| 11/30 | Final Review |
All discussion slides can be found here