|
|
|---|
|
|
|
|---|
Fixtype of dynamic information about scopes of variables and constants.
During execution, variable and constant scopes are entered and exited.
Within a function,
each
A scope of variables and constants is formalized as a finite map from identifiers to information about variables and constants. Each pair in the map corresponds to a variable or constant, where the key is the name.
A stack of scopes is represented as a list of these finite maps. The car of the list is the top of the stack, cons is push, and cdr is pop.