Рет қаралды 6,313
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 Pr... ).
Code shown in the course is available on Github here: github.com/LigerLearn/intro-t...