Schedule

subject to change!

Event

Date

Description

Course Material
Lecture

09/22/2022
Thursday

Course overview
[slides] [handout]
Lecture

09/27/2022
Tuesday

Lambda calculus
[slides] [handout] [demo]
Lecture

09/29/2022
Thursday

continued
Lecture

10/04/2022
Tuesday

continued
Lecture

10/06/2022
Thursday

Introduction to Haskell
[slides] [handout]
Due

10/07/2022 23:59
Friday

HW0: Lambda Calculus
Lecture

10/11/2022
Tuesday

Datatypes and Recursion
[slides] [handout]
Due

10/12/2022 23:59
Wednesday

HW1: Haskell
Lecture

10/13/2022
Thursday

D&R continued
Lecture

10/18/2022
Tuesday

D&R continued / Higher-order functions
Lecture

10/20/2022
Thursday

Higher-order functions
[slides] [handout]
Due

10/21/2022 23:59
Friday

HW2: Random Art
Lecture

10/25/2022
Tuesday

Midterm review
Exam

10/27/2022
Thursday

Midterm
In class, closed book

1 Double-sided “cheat sheet” allowed

Covers material through “Higher Order Functions”
- See materials page for prior years’ exams.
Lecture

11/01/2022
Tuesday

Environments and closures
[slides] [handout]
Due

11/02/2022 23:59
Wednesday

HW3: All About Fold
Lecture

11/03/2022
Thursday

Theorems about programs
[slides] [handout]
Lecture

11/08/2022
Tuesday

Theorems continued
Lecture

11/10/2022
Thursday

Polymorphism and type inference
[slides] [handout]
Lecture

11/15/2022
Tuesday

Types continued
Due

11/16/2022 23:59
Wednesday

HW4: Nano
Lecture

11/17/2022
Thursday

Types continued
Lecture

11/22/2022
Tuesday

Typeclasses
[slides] [handout]
Holiday

11/24/2022
Thursday

Thanksgiving
Lecture

11/29/2022
Tuesday

Final review
Lecture

12/01/2022
Thursday

CLASS CANCELLED
[slides] [handout]
Due

12/02/2022 23:59
Friday

HW5: Types
Exam

12/08/2022 12:00
Thursday

Final

closed book

1 double-sided “cheat sheet” allowed