Schedule

This schedule is subject to change, and it is neither sound (that is, if a particular topic is listed here, that doesn’t mean we’ll cover it!) nor complete (that is, if a particular topic is not listed here, that doesn’t mean we won’t cover it!).

  • Event
    Date
    Description
    Course Material
  • Lecture
    03/29/2022
    Tuesday
    Course overview
  • Lecture
    03/31/2022
    Thursday
    Lambda calculus
  • Lecture
    04/05/2022
    Tuesday
        Lambda calculus, continued
  • Lecture
    04/07/2022
    Thursday
        Lambda calculus, continued
  • Lecture
    04/12/2022
    Tuesday
    Lambda calculus wrap-up; introduction to Haskell
  • Due
    04/13/2022 23:59
    Wednesday
    HW0: Lambda Calculus
  • Lecture
    04/14/2022
    Thursday
        Introduction to Haskell, continued
  • Lecture
    04/19/2022
    Tuesday
    Datatypes and recursion
  • Due
    04/20/2022 23:59
    Wednesday
    HW1: Haskell
  • Lecture
    04/21/2022
    Thursday
        Datatypes and recursion, continued
  • Lecture
    04/26/2022
    Tuesday
    Higher-order functions
  • Due
    04/27/2022 23:59
    Wednesday
    HW2: Random Art
  • Lecture
    04/28/2022
    Thursday
    Midterm review
  • Exam
    05/03/2022
    Tuesday
    Midterm

    In class, closed book

    1 double-sided “cheat sheet” allowed

    Covers material through “Higher-order functions”

  • Lecture
    05/05/2022
    Thursday
    Environments and closures
  • Lecture
    05/10/2022
    Tuesday
        Environments and closures, continued
  • Due
    05/11/2022 23:59
    Wednesday
    HW3: All About Fold
  • Lecture
    05/12/2022
    Thursday
        Environments and closures, continued
  • Lecture
    05/17/2022
    Tuesday
    Polymorphism and type inference
  • Lecture
    05/19/2022
    Thursday
        Polymorphism and type inference, continued
  • Due
    05/20/2022 23:59
    Friday
    HW4: Nano
  • Lecture
    05/24/2022
    Tuesday
        Polymorphism and type inference, continued
  • Lecture
    05/26/2022
    Thursday
    Typeclasses
  • Holiday
    05/30/2022
    Monday
    Memorial Day
  • Lecture
    05/31/2022
    Tuesday
    Monads
  • Lecture
    06/02/2022
    Thursday
    Final review
  • Due
    06/03/2022 23:59
    Friday
    HW5: Types
  • Exam
    06/06/2022 08:00
    Monday
    Final

    closed book

    1 double-sided “cheat sheet” allowed