In programming language theory, the qualification principle states that any semantically meaningful syntactic class may admit local definitions. In other words, it's possible to include a block in any syntactic class, provided that the phrases of that class specify some kind of computation. (Watt 1990)
A common examples for of this principle includes:
tmp
variable declared is local to the surrounding block command:g
can be used only during evaluation of the following expression:leap
, using an auxiliary function multiple
:References
Qualification principle Wikipedia(Text) CC BY-SA