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