Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)

Veröffentlicht am: 06 September 2023
auf dem Kanal: LigerLearn

14,381

366

In this video we discuss the way in which you can evaluate a lambda calculus program/expression using a number of rules (delta rules, beta reduction, alpha conversion and eta conversion).

Contents:
00:30 - Video Contents Summary
00:52 - Bound vs. free variables
01:52 - Delta (δ) rules
02:31 - Beta (β) reduction
11:12 - Alpha (α) conversion
14:19 - Eta (η) conversion

This video is a clip from a longer video where we explore the lambda calculus in much more depth. See the whole video, "Lambda Calculus Primer" here: • Lambda (λ) Calculus Primer

Also see the Introduction to Functional Programming with Haskell course ( • Intro to Functional Programming with Haske... ).

Code shown in the course is available on Github here: https://github.com/LigerLearn/intro-t...

Auf dieser Seite können Sie das Online-Video Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction) mit der Dauer stunde minuten sekunde in guter Qualität ansehen, das der Benutzer LigerLearn 06 September 2023 hochgeladen hat, den Link mit Freunden und Bekannten teilen, dieses Video wurde auf Youtube bereits 14,381 Mal angesehen und es wurde von 366 den Zuschauern gefallen. Viel Spaß beim Betrachtenden Zuschauern gefallen!

427