Preguntas etiquetadas con continuation

20
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 y f x = f (y f) x = f...