Embedded Files
Lecture slides/code/topics do not always align perfectly with class periods—class may be ahead or behind, usually behind. Anything we have not gotten to yet might get edited or rearranged.
Unit 1: OCaml Functions, Tuples, Lists, and More
Unit 1: OCaml Functions, Tuples, Lists, and More
Dan Grossman's reading notes for the unit
Wed, Sept 30 - Lecture 01 : Welcome! Intro to OCaml (slides)
Thu, Oct 1 - Section 01 : REPL, OCaml, Debugging (slides, lec1.ml, sec1.ml)
Fri, Oct 2 - Lecture 02 : Syntax and Semantics: Expressions, Functions (slides)
Mon, Oct 5 - Lecture 03 : Tuples, Lists (slides)
Wed, Oct 7 - Lecture 04 : Let Expressions, Options, Benefits of No Mutation (slides)
Thu, Oct 8 - Section 02 : Tuple & List Practice, Type Synonyms, Dune Setup (slides, code)
Unit 2: Variants, Pattern Matching, Tail Recursion, and More
Unit 2: Variants, Pattern Matching, Tail Recursion, and More
Dan Grossman's reading notes for the unit
Fri, Oct 9 - Lecture 05 : Records, Variants, Match Expressions (slides)
Mon, Oct 12 - Lecture 06 : Pattern Matching (slides)
Wed, Oct 14 - Lecture 07 : Nested Patterns, Tail Recursion, Exceptions (slides)
Thu, Oct 15 - Section 03 : More General Types, Pattern Matching, Tail Recursion (slides, code)
Unit 3: First Class Functions and Closures
Unit 3: First Class Functions and Closures
Dan Grossman's reading notes for the unit
Fri, Oct 16 - Lecture 08 : First-Class Functions (slides)
Mon, Oct 19 - Lecture 09 : Lexical Scope and Function Closures (slides)
Wed, Oct 21 - Lecture 10 : Function-Closure Idioms (slides)
Thu, Oct 22 - Section 04 : Map, Filter, Currying, Mutual Recursion, Higher-Order Function Practice (slides, code)
Unit 4: Modules & Type Inference
Unit 4: Modules & Type Inference
Reading notes for the unit (TBD)
Fri, Oct 23 - Lecture 11 : OCaml Modules (slides)
Mon, Oct 26: Lecture 12 : Type Inference (slides)
Midterm Exam
Midterm Exam
Wed, Oct 28: Midterm Exam
Unit 5: Equivalence, Lambda Calculus & Implementation
Unit 5: Equivalence, Lambda Calculus & Implementation
...
Unit 6: The Rest of Racket
Unit 6: The Rest of Racket
...
Unit 7: OOP, Macros, Quotes, and Metaprogramming
Unit 7: OOP, Macros, Quotes, and Metaprogramming
...
Notes for Thanksgiving week — Please do not skip Monday lecture. However, we will not do Wednesday lecture. Please plan accordingly.
Unit 8: Subtyping and Wrap-up
Unit 8: Subtyping and Wrap-up
...
Final Exam
Final Exam
Monday, December 14 8:30am - 10:20am
(Sorry, this time is assigned by UW. On the bright side, we will all be done with the exam early during finals week.)
Page updated
Report abuse