Skip to main content
Der Lambda-Kalkül ist ein mathematisches Modell zur Beschreibung von Berechnungen und bildet die theoretische Grundlage der funktionalen Programmierung. Er wurde in den 1930er Jahren von Alonzo Church entwickelt und gehört zu den zentralen Konzepten der theoretischen Informatik. Berechnungen werden im Lambda-Kalkül durch sogenannte Lambda-Ausdrücke dargestellt. Diese haben die Form λx.Eλx. E, wobei xx die Eingabevariable und EE der Ausdruck ist, der mit dieser Variable arbeitet. Solche Ausdrücke repräsentieren anonyme Funktionen. Ein Beispiel ist λx. x+1λx. \space x + 1, was einer Funktion entspricht, die eine Zahl um eins erhöht (vergleichbar mit f(x)=x+1f(x) = x + 1.