Mike Vanier (via @CompSciFact): The Y combinator is a higher-order function. It takes a single argument, which is a function that isn’t recursive. It returns a version of the function which is recursive. We will walk through this process of generating recursive functions from non-recursive ones using Y in great detail below, but that’s the … Continue reading How to Succeed at Recursion Without Really Recursing