The universe in a single arrow: A live dive into the lambda calculus
summary
Live-coding shows a JavaScript arrow used as a lambda to implement lambda as JS arrow, building Church numerals, a converter to JS numbers, and working add and multiply functions that evaluate correctly on examples. Booleans become functions that pick branches, enabling if-then-else via application plus functional not/or/and operators, all tested by converting back to JS primitives. Everything composes live and produces expected numerical and boolean results.
AI-written summary · about
chapters (5)
related talks
30mThe Universe in a Single Arrow: A Live Dive into the Lambda Calculus
48mThe universe in a single arrow
48mIt’s birds all the way down: Fun Introduction to Lambda Calculus
59mLambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2
53mExplaining Lambda Calculus through Plain JavaScript
01h 03mLambda Calculus For People Who Can't Be Bothered to Learn It - part 2 of 2
47mThere is a bluebird in my talk that wants to get out
49mGoing Functional with JS