exception de débordement de pile lors de l'utilisation des tuyaux en fonction récursive

Question

J'ai une mise en œuvre naïve d'un gameloop

let gameLoop gamestate =  
    let rec innerLoop prev gamestate = 
     let now = getTicks() 
     let delta = now - prev 
     gamestate 
     |> readInput delta 
     |> update delta 
     |> render delta 
     |> innerLoop delta    

    innerLoop 0L gamestate 

Cette mise en œuvre jette un StackOverflowException. Dans mon esprit, cela devrait être récursif. Je pourrais faire un travail autour comme ceci

let gameLoop gamestate =  
    let rec innerLoop prev gamestate = 
     let now = getTicks() 
     let delta = now - prev 
     let newState = gamestate 
      |> readInput delta 
      |> update delta 
      |> render delta 

     innerLoop now newState 

    innerLoop 0L gamestate 

Donc ma question est pourquoi le premier exemple de code jette une exception de stackoverflow.

Answer 1

Je pense que la réponse est la même que dans le fil Vandroiy liens: lorsque vous avez

a 
|> f b 

alors en mode débogage le compilateur peut compiler cela comme une interprétation très littérale de

(f b) a 

et calculer explicitement f b en une seule étape et l'appliquer à a dans une deuxième étape. L'appel avec l'argument a est toujours un appel de queue, mais si le compilateur n'émet pas le préfixe d'opcode tail. (parce que les tailcalls sont désactivés, comme ils le sont par défaut en mode débogage), alors vous développez la pile avec l'explicit appeler et éventuellement obtenir un débordement de pile.

D'autre part, si vous écrivez

f b a 

directement alors cela ne se produit pas: le compilateur ne s'applique pas partiellement f, et au lieu de reconnaître que c'est un appel récursif direct et l'optimiser en une boucle (même en mode debug).

Answer 2

Je pense c'est l'explication, mais j'encourage F experts # compilateur de peser si je suis hors de la base:

Le premier exemple n'est pas récursive parce que l'expression en position de queue est un appelez au |>, pas un appel à innerLoop.

Rappelant que |> est défini comme

let (|>) x f = f x 

si nous desugar la syntaxe du pipeline un peu, lorsque vous appelez

gamestate 
    |> readInput delta 
    |> update delta 
    |> render delta 
    |> innerLoop delta 

vous appelez efficacement:

|> (innerLoop delta) (|> (render delta) (|> (update delta) (|> (readInput delta) gamestate))) 

comme expression de votre corps dans la fonction récursive. La notation infixée obscurcit un peu ce qui donne l'impression que innerLoop est en position de queue.