stos wyjątkiem przelewowy przy stosowaniu rur z ogona funkcji rekurencyjnej

Question

mam naiwne realizację 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 

Realizacja ta generuje stackoverflowexception. Moim zdaniem powinno to być rekurencyjne. Więc moje pytanie jest, dlaczego pierwszy przykład kodu rzuca wyjątek stackoverflow.

Answer 1

Myślę, że odpowiedź jest taka sama jak w wątku Vandroiy links: gdy masz

a 
|> f b 

następnie w trybie debugowania kompilator może skompilować to jak bardzo dosłownej interpretacji

(f b) a 

i jednoznacznie obliczyć f b w jednym kroku i zastosować go do kroku a w drugim etapie. Wywołanie z argumentem a jest nadal wywołaniem ogona, ale jeśli kompilator nie wyemituje prefiksu kodu operacyjnego tail. (ponieważ tailcalls są wyłączone, ponieważ są domyślnie w trybie debugowania), wtedy wyhodujesz stos z wyraźnym zadzwoń i ewentualnie uzyskaj przepełnienie stosu.

Z drugiej strony, jeśli piszesz

f b a 

bezpośrednio potem to nie zdarza: kompilator nie stosuje f częściowo, a zamiast tego będzie wiedział, że jest to bezpośrednie wywołanie rekurencyjne i optymalizować je pod pętla (nawet w trybie debugowania).

Answer 2

myślę to wyjaśnienie, choć zachęcam F ekspertów # kompilatora ważyć się, jeśli jestem poza zasady:

Pierwszy przykład nie jest ogon rekurencyjnej ponieważ wyrażenie w pozycji ogona jest zadzwoń pod numer |>, a nie pod numer innerLoop.

przypominając, że |> jest zdefiniowany jako

let (|>) x f = f x 

gdybyśmy desugar składni rurociągu trochę, gdy dzwonisz

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

jesteś skutecznie numerem:

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

jako wyraz twojego ciała w funkcji rekursywnej.

Notacja infiksowa nieco zaciemnia to, dzięki czemu wygląda na to, że innerLoop jest w pozycji ogonowej.