|Playlist||schedule page slides as PDF|
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.
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.