<sectionid="description"><p> En la <ahref="https://en.wikipedia.org/wiki/Functional programming"title="wp: programación funcional">programación funcional</a> estricta y el <ahref="https://en.wikipedia.org/wiki/lambda calculus"title="wp: calculo lambda">cálculo lambda</a> , 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. </p><p> El <ahref="http://mvanier.livejournal.com/2897.html">combinador Y</a> 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 <ahref="https://en.wikipedia.org/wiki/Fixed-point combinator"title="wp: combinador de punto fijo">combinadores de punto fijo</a> . </p> Tarea: <pre><code>Define the stateless Y combinator function and use it to compute <a href="https://en.wikipedia.org/wiki/Factorial" title="wp: factorial">factorial</a>.</code></pre><p><code>factorial(N)</code> ya está asignada. Ver también <ahref="http://vimeo.com/45140590">Jim Weirich: Aventuras en Programación Funcional</a> . </p></section>