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, and what you need to install to use it. The configuration instructions on the course page have been updated with the new configuration step, which you’ll need to follow to run let.
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.