Inhalt
- Definition - Was bedeutet Lambda-Kalkül?
- Eine Einführung in Microsoft Azure und die Microsoft Cloud | In diesem Handbuch erfahren Sie, worum es beim Cloud-Computing geht und wie Microsoft Azure Sie bei der Migration und Ausführung Ihres Unternehmens aus der Cloud unterstützen kann.
- Techopedia erklärt Lambda Calculus
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 aufweisen, ändert die Funktionsprogrammierung den Programmstatus nicht.
Eine Einführung in Microsoft Azure und die Microsoft Cloud | In diesem Handbuch erfahren Sie, worum es beim Cloud-Computing geht und wie Microsoft Azure Sie bei der Migration und Ausführung Ihres Unternehmens aus der Cloud unterstützen kann.
Techopedia erklärt Lambda Calculus
Durch die Lambda-Berechnung werden bei Sprachcodethreads unabhängig von der Zeit oder dem Computer, auf dem 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.