Lambda Calculus
Comments discuss lambda calculus fundamentals, its power and simplicity, concepts like Y-combinator and fixed-point combinators, learning resources, and related implementations.
➡️ Stable 0.5x Programming Languages
2,719
Comments
20
Years Active
5
Top Authors
#2053
Topic ID
Activity Over Time
2007 17
2008 31
2009 70
2010 87
2011 118
2012 72
2013 85
2014 168
2015 125
2016 160
2017 81
2018 184
2019 159
2020 198
2021 167
2022 249
2023 223
2024 281
2025 239
2026 5
Top Contributors
Keywords
CS ultimate.org AI EVAL OOP JavaScript brilliant.org FP en.m laszlokorte.de lambda calculus lambda calculus combinator church iterate derived pi fixed introduction
Sample Comments
lambda calculus has entered the chat
Does this actually give you any insight into lambda calculus?
y-combinator is on there representing lambda calculus at least ...
The Lambda Calculus. So simple. So powerful. Still studied today.
What's next? "Functional lambda calculus"?
How do you run Linux in lambda calculus?
I found this helpful https://brilliant.org/wiki/lambda-calculus/
Why don't we stop fucking around and just use λx y→x+y?
Check out Binary Lambda Calculus.
Remarkable visual intro to lambda calculus.