通常の再帰関数が正常に実行される入力に対して、なぜテール再帰関数が失敗するのですか？

Question

MSDNドキュメントに従って、再帰関数を記述する際には、accumulator引数を使用すると関数の末尾が再帰的になり、スタック領域が節約されます。 私は尾なしリスト -

最初にすべての数字の合計を計算するMSDNのサイトで与えられた2例を使用していますが

let Sumtail list = 
    let rec loop list acc = 
     match list with 
     | h::t -> loop t acc + h 
     | [] -> acc 
    loop list 0 

recursion-尾と

let rec Sum myList = 
    match myList with 
    | [] -> 0 
    | h::t -> h + Sum t 

と今をrecursion-

であり、入力が[1..100000]の両方の関数を実行しています。 関数Sumは、このリストの合計を正常に計算しますが、[1..1000000] を渡したが、2番目の関数Sumtailは[1..100000]で失敗しますが、テール再帰を使用するため、最初の関数の方が優れています。 再帰関数に影響する他の要因はありますか？

Answer 1

loop t acc + hが(loop t acc) + hと解釈され、+がloopの最後の操作になるため、2番目の関数はテール再帰的ではありません。

loop t acc + hからloop t (acc + h)に変更すると、テール再帰的になります。