the y combinator and untied fixed points
Channel: Radu Grigore
Date: 15/05/2013

The video presents two example uses for the Y combinator, logging and memoization. At the end there are two question: (1) How would you log the call tree? For an answer see http://rgrig.blogspot.com/2012/04/fixed-point-magic-successive-recursive.html  (2) How to define Y without recursion? For an answer, just google "y combinator": the standard definition does *not* use recursion, but it doesn't work in typed languages.