Next: Basic Usage of Y
Up: Y Combinator
Previous: Y Combinator
New book on A++ and the Lambda Calculus available!
The ``Y-combinator'', which is sometimes also called fixpoint combinator,
was discovered by H. Curry.
With its help it is possible to handle recursive functions
in the Lambda Calculus.
In many programming languages it is possible to simply refer to the
name of a function within the function itself.
This is called implicit recursion, which is not possible in the Lambda
Calculus because all lambda abstractions are by definition `anonymous