Fixed-point combinator
In computer science, a fixed-point combinator (or fixpoint combinator) is a higher-order function y that satisfies the equation
or in words: y, when applied to an arbitrary function f, yields the same result as f applied to the result of applying y to f. It is so named because, by setting , it represents a solution to the fixed point equation,