Lambda-Kalkül

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