Jim Weirich derives the Y combinator in pure Ruby here:
EDIT: Correct video http://www.youtube.com/watch?v=FITJMJjASUs
It is some of the ugliest ruby code I have ever seen, but it was something amazing to watch happen live.
EDIT: Correct video http://www.youtube.com/watch?v=FITJMJjASUs
It is some of the ugliest ruby code I have ever seen, but it was something amazing to watch happen live.
Finding the SKI calculus was a similar revelation to me, that such simple combinators could represent any lambda term is such a huge idea!