| Playlist | schedule page slides as PDF |
Lambda 1 — functions as values (4:12)
Distinguishing expressions from values, and treating functions as values.
Lambda 2 — using lambda (2:31)
Example uses of lambda in Plait, which is useful both for writing Plait programs and for understanding where we’re going with lambda in Curly.
Lambda 3 — syntax and evaluation (4:54)
Representing lambda forms and motivating the associated generalization of application forms.
Lambda 4 — Exp (1:42)
Parsing for Curly with lambda and the revised Exp datatype.
Lambda 5 — closures (5:44)
Looking at the evaluation of lambda forms and the representing the result as a closure.
Lambda 6 — interp (6:23)
Updating interp to support lambda.