Lambda Calculus: The Y combinator in action

7 points by viebel ↗ HN

6 comments

[ 1.6 ms ] story [ 16.1 ms ] thread
What?
The Y combinator is one of the most beautiful idea in Computer Science: it allows to write recursive functions without using names at all!
Did you mean to submit a link? Or is this just a generic "hey, let's discuss this subject" kind of post?
I think this may be exactly what the title suggests: a fixed point operator.
What the hell is going on here!