Pytania oznaczone «tail-call»

20
Optymalizator kombinacji Y i ogona

Definicja kombinatora Y w F # to let rec y f x = f (y f) x f oczekuje, że jako pierwszy argument będzie miała kontynuację rekurencyjnych podproblemów. Używając yf jako kontynuacji, widzimy, że f będzie stosowane do kolejnych wywołań w miarę rozwoju let y f x = f (y f) x = f (f (y f)) x = f (f...