Practical Lambda Calculus

on YouTube ↗42m

" summary

Builds actual Church numerals and implements successor, addition, multiplication and a predecessor via pairs that counts down; constructs lists, fold/map/append/flat and shows length and sum by replacement. Runs live on a Standard ML interpreter with a Sublime plugin available on GitHub; demos reach ~40 comfortably (100 is slow but possible). Sources and slides live at codemesh link and the demo code and editor integration are shown working during the session.

AI-written summary · about

" chapters (9)

1. 0:00Introduction to lambda
2. 1:21Lambda calculus basics
3. 2:51Representing numbers
4. 5:41Arithmetic operations
5. 10:29Multiplication logic
6. 13:24Subtraction and pairs
7. 23:24Lists and data structures
8. 33:30List operations and mapping
9. 38:04Q&A and concluding remarks

" 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
• 37mLearn You Some Lambda CalculusBernardo Amorim · Code Mesh LDN 2020
• 41mLambda Core - HardcoreJarek Ratajski · Lambda World 2017
• 01h 01mLive Lambda CalculusEinar W. Høst, Jonas Winje · NDC Oslo 2017
• 30mLAMBDA CORE – HARDCOREJarosław Ratajski · Scalar Conference 2017
• 51mGreek Classics: Lambda Calculus For BeginnersAdam McCullough · LambdaConf 2017
• 46mLambda Core – HardCoreJarek Ratajski · Voxxed Days Ticino 2017