next up previous contents
Nächste Seite: Konstitutive Prinzipien Aufwärts: Ursprung Vorherige Seite: Ursprung   Inhalt

Verallgemeinerung des Lambda-Kalküls

Ausgehend von den Grundoperationen des Lambda-Kalküls gelangen wir durch einen Schritt der Verallgemeinerung zu den drei Primitivoperationen von A++.

Der Schritt der Verallgemeinerung besteht darin, dass den Primitiv-Operationen von A++ jedwede Einschränkung genommen wird.

ARS

In A++ ist im Begriff der Abstraktion eine explizite Namensvergabe an jeder beliebigen Stelle in einem Programm erlaubt.

Im Lambda-Kalkül dagegen ist nur eine implizite Namensvergabe im Zusammenhang mit einer Synthese von Lambda-Ausdrücken vorgesehen.

Die Auswirkungen dieses zunächst als klein erscheinenden Unterschiedes sind gewaltig:



Georg P. Loczewski 2003-07-18
Buchbestellung hier!!!