Lambda Calculus: The Y combinator in action

7 pointsviebel6 comments

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.

Oops, I forgot to submit the link. I opened a new story with the link: https://news.ycombinator.com/item?id=12250435

What the hell is going on here!