Heute verschaffen wir uns einen Überblick über den Lambda-Kalkül, der die Grundlage der funktionalen Programmierung ist.
Hier das Beispiel aus der Folge zum in Ruhe anschauen:
Lambda-Funktion: λx . x * 2 (verdoppelt die Eingabe)
Anwendung von 4 darauf: (λx. x * 2) 4
β-Reduktion anwenden (Beta-Reduktion): 4 * 2 (4 für x eingesetzt)
Ausgerechnet: 8 (wie erwartet: das Doppelte von 4)
Website: https://bytegeschichten.eisfunke.com
Link zum Forum: https://forum.eisfunke.com/t/bg006-lambda-kalkul
Dieser Podcast ist frei verfügbar unter der CC BY-SA 4.0-Lizenz.
https://creativecommons.org/licenses/by-sa/4.0
Titelmusik: Arpent von Kevin MacLeod auf https://freepd.com