arethuza 7 hours ago [-]
It’s over 30 years since I was taught about the Y combinator and I still find it amazing – it allows you to define recursion in a language which has no concept of recursion or named functions – such as λ-calculus.
The fact that you then define this in terms of amazingly simple functions like the S and K combinators just, in my opinion, adds to how wonderful it is.
— Hacker News
2022.04.19 Tuesday ACHK