Lecture Notes

Lecture schedule is subject to change!

Date Topic Material
9/24 Hello, World! html
9/27 The Lambda Calculus html
9/29 contd.
10/1 contd.
10/4 contd.
10/6 contd.
10/8 contd.
10/11 A crash course in Haskell html
10/13 contd.
10/15 contd.
10/18 Datatypes and Recursion
10/20 contd.
10/22 contd.
10/25 Higher Order Functions
10/27 contd.
10/29 contd.
11/1 Midterm
11/3 Environments and Closures
11/5 contd.
11/8 contd.
11/10 Lexing and Parsing
11/12 contd.
11/15 Overloading & TypeClasses
11/17 contd.
11/19 Monads
11/22 contd.
11/24 contd.
11/26 No lecture: Thanksgiving
11/29 contd.
12/1 TBD
12/3 TBD
12/8 Final

Discussions

Date Topic Material
10/1 Lambda Calculus: intro, syntax and reductions pdf
10/8 Lambda Calculus: data type encodings pdf
10/15 Haskell: simple recursion pdf
10/22 Haskell: recursive data types
10/29 Midterm review
11/5 Haskell: folds.
11/12 Nano: interpreters, lexers, and parsers
11/19 Type classes
12/3 IO Monad