2
Y combinator y optimizaciones de cola
La definición de un combinador Y en F # es let rec y f x = f (y f) x f espera tener como primer argumento alguna continuación para los subproblemas recursivos. Usando yf como continuación, vemos que f se aplicará a llamadas sucesivas a medida que podamos desarrollar let …