| Playlist | schedule page slides as PDF |
Type 1 — types (6:15)
Types as a way of avoiding errors during interp.
Type 2 — type rules (4:20)
Type rules in the traditional, math-ish notation.
Type 3 — conditionals (2:19)
Type rules for conditionals.
Type 4 — functions (4:14)
Type rules for functions.
Type 5 — function calls (2:31)
Type rules for function calls.
Type 6 — multi-argument function calls (1:46)
An aside on type rules for multi-argument functions and function calls, as set-up for the homework assignment.
Type 7 — typecheck (5:04)
Implementing typecheck. See typed_lambda.rhm.
Type 8 — typecheck vs. interp (0:53)
A reminder that typecheck and interp do not call each other.
Type 9 — pairs (2:07)
Type rules for pairs, as set-up for the homework assignment.