Explains lexical environments as linked frames, variable lookup with shadowing and unbound-variable errors, and extending local bindings for let expressions and pattern matches.
Save to open this file
Explains lexical environments as linked frames, variable lookup with shadowing and unbound-variable errors, and extending local bindings for let expressions and pattern matches.
Save to open this file