Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
ConfreaksYouTube ↗
Further reading 1
Caption notes
Starting with Church encodings and higher-order functions, Weirich derives recursion through self-application and arrives at a fixed-point combinator.
Original passages · 6
functions are the only data type. No integers, no strings,Recursion is no problem for it by doing this little trickthe function y calculates the fixpoint of an improver function.it evaluates its arguments before it passes the arguments down into functions.calculates the fixpoint of an improver functionyou don't need the y combinator