Clone wiki

inf225public / glossary / Name binding

[Alphabetical Index | Tag Index]

Name binding

A part of language processing where names are associated with their declarations, according to scoping and Namespace rules. A name's binding is typically determined by checking the Environment at the use site.


When done statically (or early), name binding is often combined with typechecking.


Names are bound at runtime; also applies to Dynamic dispatch (where it is sometimes called late or virtual binding), where certain properties (such as types) may be known statically, but the exact operation called is determined at runtime.