Lambda Core – HardCore

on YouTube ↗46m

" summary

Java code implements core lambda calculus from scratch using only pure lambda definitions and application, showing Church booleans and numerals, successor, predecessor and arithmetic; recursion works via the Y combinator fixed-point to compute factorial (factorial 3 evaluates to 6 in the demo). A small display library prints lambdas as math notation and a GitHub tool bedlam visualizer maps Java lambdas to Church terms. Claims equivalence with Turing machines and reiterates undecidability of general equivalence; experimental, not production.

AI-written summary · about

" chapters (17)

1. 0:00Introduction
2. 1:18What is this talk about
3. 2:14Why did I study mathematics
4. 3:46Number
5. 7:15Fundaments
6. 8:22Set Theory
7. 10:23Identity Function
8. 13:01Lambda Notation
9. 14:41Lambda in Java
10. 16:57Lambda from X
11. 19:25Display
12. 24:27Boolean Algebra
13. 30:27Natural Numbers
14. 38:46Lambda calculus
15. 42:04Proof
16. 42:51Summary
17. 43:57References

" related talks

• 52mLambda Core – HardCoreJarek Ratajski · Voxxed Days Vienna 2017
• 41mLambda Core - HardcoreJarek Ratajski · Lambda World 2017
• 30mLAMBDA CORE – HARDCOREJarosław Ratajski · Scalar Conference 2017
• 37mLearn You Some Lambda CalculusBernardo Amorim · Code Mesh LDN 2020
• 34mAn introduction to Lambda CalculusLucas F da Costa · CityJS Conference São Paulo 2022
• 42mPractical Lambda CalculusEinar W. Høst, Jonas Winje · Code Mesh 2015
• 44mIt’s Java, but Not As We Know ItSimon Ritter · Oracle OpenWorld 2017
• 48mIt’s birds all the way down: Fun Introduction to Lambda CalculusLucas Fernandes Da Costa · Armada JS 2019