Lambda Calculus For People Who Can't Be Bothered to Learn It - part 2 of 2
summary
Hands-on coding that actually builds an untyped lambda calculus in the browser using ES6 arrow functions and small translation utilities, with concrete claims: Turing-complete encodings of numbers, arithmetic, recursion via the Y/Z combinator, lists, folds and even fizzbuzz in pure lambdas. Examples are runnable in a REPL, Haskell translations are provided, and the code mostly works though deep recursion blows stacks. Repository link and many test snippets let verification be immediate.
AI-written summary · about
chapters (11)
- 0:00Start
- 2:33Reduction Steps
- 2:52Referential Transparency
- 9:29Comparison Functions
- 14:47Function Composition
- 21:43Factorial
- 33:21Expansion for a Factorial
- 34:10Data Structures
- 38:04List Element Function
- 56:38Fizzbuzz and Lambda Calculus
- 57:31Understanding Computation
related talks
53mExplaining Lambda Calculus through Plain JavaScript
48mIt’s birds all the way down: Fun Introduction to Lambda Calculus
30mThe Universe in a Single Arrow: A Live Dive into the Lambda Calculus
34mThe universe in a single arrow: A live dive into the lambda calculus
47mThere is a bluebird in my talk that wants to get out
43mWhat, if anything, is a llama?
49mGoing Functional with JS
48mThe universe in a single arrow