2
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 …