Bisher kannten wir zwei verschiedene Arten der Variablenbindung: Quasi globale Bindungen mit „define“ und die Lambdabindung beim Aufruf von Prozeduren.

 

Aus der letzteren (lambda)-Bindung kan man das Prinzip der lokalen Bindungen abstrahieren, bei der die Sichtbarkeit verschiedener Variablen auf einzelne AUsdrücke beschränkt bleibt. Hieraus ergibt sich auch die Idee der „lexical closures“.