Lambda-Kalkül

Definition - Was bedeutet Lambda-Kalkül?

Die Lambda-Rechnung ist eine Art formales System aus der mathematischen Logik, das in der Informatik zur Definition, Anwendung und Rekursion von Funktionen verwendet wird.

Die funktionale Computerprogrammierung entstand aus dieser Art von Kalkül und fungiert wiederum als Modell für die Softwareentwicklung, indem sie eine einfache Semantik für die Berechnung mit Funktionen bereitstellt. Anders als bei imperativen Funktionen, die den Programmstatus ändern können, weil sie keine referenzielle Transparenz haben, ändert die funktionale Programmierung den Programmstatus nicht.

Technische.me erklärt Lambda Calculus

Mit Lambda Calculus führen Sprachcodethreads unabhängig von der Zeit oder dem Computer, auf dem der Codethread ausgeführt wurde, zu genau denselben Werten. Dies ist bei der imperativen Funktionsprogrammierung nicht der Fall, bei der normalerweise unvorhersehbare Programmantworten auftreten.

Funktionale Programmierung kann in jeder Programmiersprache realisiert werden, auch in solchen, die nicht mit standardmäßigen funktionalen Programmierstrukturen entworfen wurden.