Questions marquées «continuation»

20
Optimiseur de combinateur Y et d'appel de queue

La définition d'un combinateur Y en F # est let rec y f x = f (y f) x f s'attend à avoir comme premier argument une continuation pour les sous-problèmes récursifs. En utilisant le yf comme suite, nous voyons que f sera appliqué aux appels successifs au fur et à mesure que nous développerons let y f...