Perché questa coda non è ricorsiva?

Question

Sto lavorando al libro Real-World Functional Programming e ho cercato di trovare il mio esempio di ricorsione della coda prima di leggere l'esempio del libro (elenco 10.2, pagina 265). L'esempio del libro funziona; la mia causa uno stack overflow.

Ho trovato se utilizzo un argomento di tupla o pre-calcolare a + accum quindi il mio funzionerà. Voglio capire perché.

let rnd = new System.Random() 
let test2 = List.init 1000000 (fun _ -> rnd.Next(-50, 51)) 

let rec sum2 list accum = 
    match list with 
    | [] -> accum 
    | a::b -> sum2 b a + accum 

let result = sum2 test2 0 

printfn "%d" result 

Answer 1

sum2 b a + accum 

Si noti che questo viene analizzato come (sum2 b a) + accum, non sum2 b (a + accum).

Quindi chiama sum2 b a. Quindi prende il risultato di quella chiamata e aggiunge accum ad esso. Quindi l'ultima espressione valutata è l'aggiunta, non la chiamata a sum2. Pertanto la chiamata a sum2 non è una coda.

Answer 2

Forse il compilatore è la lettura

a::b -> (sum2 b a) + accum 

invece di

a::b -> sum2 b (a + accum)