Bytegeschichten   /     Lambda-Kalkül

Description

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

Subtitle
Heute verschaffen wir uns einen Überblick über den Lambda-Kalkül, der die Grundlage der funktionalen Programmierung ist.
Duration
00:08:33
Publishing date
2021-08-17 13:59
Link
https://bytegeschichten.eisfunke.com/2021/08/17/bg006-lambda-kalkuel/
Deep link
https://bytegeschichten.eisfunke.com/2021/08/17/bg006-lambda-kalkuel/#
Contributors
  Nicolas Lenz
author  
Enclosures
https://bytegeschichten.eisfunke.com/podlove/file/12/s/feed/c/mp3/bg006-lambda-kalkuel.mp3
audio/mpeg

Shownotes

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