Y Not：探索函数式编程与递归

所在讨论： All elementary functions from a single binary operator

Reminds me a bit of the coolest talk I ever got to see in person: [VIDEO] It’s a derivation of the Y combinator from ruby lambdas

所在讨论： Baking the Y Combinator from Scratch

If anyone wants this in a humorous 1 hour format, watch the legendary Jim Weirich (rip) explain it here: [VIDEO] Don't be discouraged that it is in Ruby as the concepts are completely general. Great watch even though I never coded a line of Ruby.

所在讨论： Ask HN: What piece of code/codebase blew your mind when you saw it?

Well, .NET's garbage collector certainly springs to mind. Not exactly in a good way. You know you have something special on your hands when GitHub refuses to show you a highlighted version of a hand written C++ file ( [LINK] ). Other than that, I remember my mind was blown a few times while watching Jim Weirich's presentation on functional programming all those years ago ( [VIDEO] ).

所在讨论： An intriguing discovery of Computer Science: The Y combinator [video]

A good video that made it click for me is the following, which derives the ycombinator from 1st principles: [VIDEO]

所在讨论： All you need is λ, part one: booleans

On the same topic, Jim Weirich's 2012 talk "Y Not - Adventures in Functional Programming" on lambda calculus and the (little 'c') Y combinator is fantastic. [VIDEO]