Tại sao đuôi này không đệ quy?

Question

Tôi đang làm việc qua cuốn sách Real-World Functional Programming và tôi đã cố gắng đưa ra ví dụ về việc đệ quy đuôi của riêng tôi trước khi đọc ví dụ của sách (liệt kê 10.2, trang 265). Ví dụ của cuốn sách hoạt động; mỏ gây ra tràn ngăn xếp.

Tôi đã tìm thấy nếu tôi sử dụng đối số tuple hoặc tính trước a + accum thì sẽ hoạt động. Tôi muốn hiểu tại sao.

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 

Lưu ý rằng đây là phân tích cú pháp như (sum2 b a) + accum, không sum2 b (a + accum).

Vì vậy, điều này gọi sum2 b a. Sau đó, kết quả của cuộc gọi đó và thêm accum vào cuộc gọi đó. Vì vậy, biểu thức cuối cùng được đánh giá là bổ sung, không phải là cuộc gọi đến sum2. Do đó cuộc gọi đến sum2 không phải là cuộc gọi đuôi.

Answer 2

lẽ trình biên dịch được đọc

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

thay vì

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