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
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