Lightning Talk: The Lambda Calculus in C++ Lambdas
summary
Claims an actual lambda calculus implemented in C++ lambdas using plain C++ syntax, notably uses auto and return and a successor function to build Church numerals instead of literals. The code compiles (slowly) on Godbolt, initially fails in the demo but is debugged live, and finally squares negative inputs correctly — examples shown: (−5)^2 = 25, (−7)^2 = 49, (−12)^2 = 144.
AI-written summary · about
related talks
41mInfinite Lambda Calculus
01h 00mTheory and Models of Lambda Calculus Untyped and Typed - Part 3 of 5
05mLightning Talk: Memoizing Constexpr Programs
33mTheory and Models of Lambda Calculus Untyped and Typed - Part 5 of 5
01h 02mTheory and Models of Lambda Calculus Untyped and Typed - Part 4 of 5
49mCoding Tomorrow
44mSome History of Functional Programming Languages
10mWhen Does a Program Typecheck?