Lambda (λ) Calculus Primer

Publié le: 05 septembre 2023
sur la chaîne: LigerLearn
24,113
834

A primer on the lambda calculus with the aim of giving a basic understanding of the theoretical underpinnings of functional programming.

Contents:
1. What is the lambda calculus?
2. Defining a function as a lambda abstraction
3. The simple untyped lambda calculus
4. Evaluation rules
5. Normal form and reduction orders

-------------------------------------------------------
This video is part of the Introduction to Functional Programming with Haskell video course (    • Intro to Functional Programming with Haske...   ).

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


Sur cette page du site, vous pouvez voir la vidéo en ligne Lambda (λ) Calculus Primer durée heure minute seconde en bonne qualité , qui a été Téléchargé par l'utilisateur LigerLearn 05 septembre 2023, Partagez le lien avec vos amis et connaissances, sur youtube cette vidéo a déjà été regardée 24,113 fois et il a aimé 834 téléspectateurs. Bon visionnage!