Inhaltsverzeichnis:
Definition - Was bedeutet Lambda-Kalkül?
Der Lambda-Kalkül ist eine Art formales System aus der mathematischen Logik, das in der Informatik zur Definition, Anwendung und Rekursion von Funktionen verwendet wird.
Funktionale Computerprogrammierung entstand aus dieser Art von Kalkül und fungiert wiederum als Modell für die Softwareentwicklung, indem einfache Semantiken für die Berechnung von Funktionen bereitgestellt werden. Anders als bei Imperativfunktionen, die den Programmstatus ändern können, weil sie keine referenzielle Transparenz haben, ändert die Funktionsprogrammierung den Programmstatus nicht.
Techopedia erklärt Lambda Calculus
Durch die Lambda-Berechnung werden bei Sprachcodethreads unabhängig von der Zeit oder Maschine, auf der der Codethread ausgeführt wurde, genau die gleichen Werte ermittelt. Dies ist bei der imperativen Funktionsprogrammierung nicht der Fall, die typischerweise unvorhersehbare Programmreaktionen aufweist.
Funktionale Programmierung kann in jeder Programmiersprache realisiert werden, auch wenn diese nicht mit standardmäßigen funktionalen Programmierstrukturen entworfen wurden.
