|Playlist||schedule page slides as PDF|
Binding 1 — let (4:55)
Introduction for the let local binding form. Also, we switch our notation for describing Curly’s grammar to a more conventional Backus-Naur Form (BNF).
Binding 2 — let (2:44)
Adpating parse for let.
Binding 3 — subst (5:47)
Updating subst to handle local bindings. See let.rkt.
PLAI§6. Deferring subsitution as motivated by performance concerns.
Binding 5 — environments (4:35)
The environment data structure and helper functions to implement deferred substitution. See env.rkt.
Binding 6 — interp (4:49)
Updating interp to use environments, which completes env.rkt.
Binding 7 — terminology (4:46)
Terminology: binding, bound, and free.