En la programación funcional estricta y el cálculo lambda , las funciones (expresiones lambda) no tienen estado y solo se les permite hacer referencia a los argumentos de las funciones adjuntas. Esto descarta la definición habitual de una función recursiva en la que una función está asociada con el estado de una variable y el estado de esta variable se utiliza en el cuerpo de la función.
El combinador Y es en sí mismo una función sin estado que, cuando se aplica a otra función sin estado, devuelve una versión recursiva de la función. El combinador de Y es el más simple de la clase de tales funciones, llamados combinadores de punto fijo .
Tarea: Define the stateless Y combinator function and use it to compute <a href="https://en.wikipedia.org/wiki/Factorial" title="wp: factorial">factorial</a>.
factorial(N)
ya está asignada. Ver también Jim Weirich: Aventuras en Programación Funcional .