Explaining Lambda Calculus through Plain JavaScript

on YouTube ↗53m

" summary

Claims that Lambda Calculus maps directly into JavaScript implementations of lambda terms, shows concrete encodings: Church booleans, Church numerals, pairs, lists, option type, map/flatMap and logical ops, plus arithmetic and zero/even tests. Demonstrates recursion via a Y combinator for recursion (notes JS needs a lazy/wrapped form), builds factorial that computes up to 20 in the demo, and explains combinators S, K, I and single-base encodings.

AI-written summary · about

" chapters (13)

1. 0:00Introduction and background
2. 4:41Lambda calculus origins
3. 6:32Lambda calculus basics
4. 12:21Lambda calculus refactorings
5. 17:00Logic in Lambda calculus
6. 22:30Numbers in Lambda calculus
7. 28:59Data structures in Lambda
8. 38:01Lists and operations
9. 41:35Functional libraries in JavaScript
10. 42:19Combinators in Lambda
11. 48:09Loops and recursion
12. 51:05Demo factorial function
13. 52:12Conclusion and references

" related talks

• 34mAn introduction to Lambda CalculusLucas F da Costa · CityJS Conference São Paulo 2022
• 48mIt’s birds all the way down: Fun Introduction to Lambda CalculusLucas Fernandes Da Costa · Armada JS 2019
• 59mLambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2Steven Syrek · LambdaConf 2017
• 34mThe universe in a single arrow: A live dive into the lambda calculusAnjana Vakil · JSHeroes 2019
• 01h 03mLambda Calculus For People Who Can't Be Bothered to Learn It - part 2 of 2Steven Syrek · LambdaConf 2017
• 30mThe Universe in a Single Arrow: A Live Dive into the Lambda CalculusAnjana Vakil · React Rally 2019
• 01h 01mLambda? You Keep Using that LetterKevlin Henney · NDC London 2020
• 49mLambda? You Keep Using that LetterKevlin Henney · Craft Conference 2025