[TYPES] what is "lexical" about "lexical scoping"?

Norman Ramsey nr at cs.tufts.edu
Mon Aug 3 10:27:33 EDT 2020


 > 2. "of or relating to a lexicon or to lexicography"
 > 
 > That is the meaning I would associate with the phrase "lexical
 > scoping". As I understand lexical scoping, a scope is a dictionary or
 > lexicon, basically a map from identifiers of the concrete syntax to
 > binding sites of the abstract syntax. This dictionary is updated
 > during parsing. Perhaps "lexical" refers to the fact that the meaning
 > of the identifier is looked up in this (static) lexicon, as opposed to
 > determined dynamically at runtime?

That's a really interesting thought!  I may politely ask Guy Steele
what he remembers.


Norman



More information about the Types-list mailing list