Binding 1 — let (4:26)
Introduction to a local binding form.
Binding 2 — subst (4:26)
Updating subst to handle local bindings. See let.rkt, but maybe after watching the next video.
Binding 3 — s-exp match (2:31)
An aside, again, on parsing. Includes information in a new s-exp-match? function that we’ll use to make our parsers easier to implement, but you do not need to install the package, since it’s installed automatically with the uu-cs5510 package.
Binding 4 — environments (6:47)
PLAI§6. Environments— concept and representation.
Binding 5 — interp (5:46)
Updating interp to use environments. See env.rkt.
Binding 6 — terminology (4:11)
Terminology: binding, bound, and free.