2
Combinazioni Y e ottimizzazioni delle chiamate di coda
La definizione di un combinatore Y in F # è let rec y f x = f (y f) x f prevede di avere come primo argomento un seguito per i sottoproblemi ricorsivi. Usando yf come continuazione, vediamo che f verrà applicato alle chiamate successive mentre possiamo svilupparci let y …