Lambda-Kalkül wurde in den 1930er Jahren von dem amerikanischen Mathematiker Alonzo Church entwickelt und ist ein formales System zum Ausdrücken von Berechnungen, die auf der Abstraktion von Funktionen basieren. Es ist ein Grundprinzip in der mathematischen Logik. Der Lambda-Kalkül zielt klarer darauf ab, ein einfaches Berechnungssystem zu sein, das eine Alternative zu dem von Turing-Maschinen verwendeten "Hardware" -Ansatz darstellt.

Wie wird Lambda-Kalkül verwendet?

Bei der Computerprogrammierung wird mit Lambda-Kalkül Funktionen anonymisiert, so dass auf sie im abstrakten Sinn Bezug genommen werden kann. Diese Aktion macht sie zu erstklassigen Objekten: Sie können wie jede andere Entität in der Sprache bearbeitet werden. Beispielsweise kann eine anonyme Funktion als Parameter an andere Funktionen übergeben werden.

Eine der ersten Programmiersprachen, die anonyme Funktionen verwendete, war LISP. Das spezielle Wort Lambda in LISP definiert eine Funktion, ohne ihr einen Namen zu geben. Zum Beispiel kann die Funktion x + 2 in LISP mit der folgenden Anweisung anonym definiert werden:

 (Lambda (x) (+ x 2)) 

Anonyme Funktionen sind ein wichtiger Bestandteil vieler moderner Programmiersprachen, einschließlich JavaScript.

Lambda-Ritter, Logik, Programmierbegriffe, Syntaktischer Zucker