Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
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...
In questa pagina del sito puoi guardare il video online Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction) della durata di ore minuti seconda in buona qualità , che l'utente ha caricato LigerLearn 06 settembre 2023, condividi il link con amici e conoscenti, su youtube questo video è già stato visto 14,381 volte e gli è piaciuto 366 spettatori. Buona visione!
