为什么这不是尾部递归

Question

我有一个（co？）递归函数对，它们处理元组列表，并根据一些开始和结束条件将它们折叠成批处理。

我做得不多，所以我可能很愚蠢。

我已经修改了一个简单的非尾部递归版本，通过明确引入一个“tot”参数来构成当前折叠状态，我认为这是尾部递归的，但我在大输入上得到了可怕的堆栈溢出。。。。（在调试器和（调试）中）。exe）

作为一个明确的折叠，可能有更好的方法来做到这一点...但这几乎不是重点，重点是为什么它看起来不是尾巴回缩？

    let rec ignoreUntil2 (xs : List<(string * string)>)  tot = //: List<(string * string)> -> List<List<(string * string)>> -> List<List<(string * string)>> = 
        match xs with              
        | [] -> tot
        | ((s1,s2)::tail) -> 
            if s2.StartsWith("Start importing record: Product") then
                takeUntil2 [] ((s1,s2)::tail) tot
            else
                ignoreUntil2 tail tot
and takeUntil2 acc xs tot = // : List<(string * string)> -> List<(string * string)> -> List<List<(string * string)>> -> List<List<(string * string)>> =
        match xs with
        | [] -> acc :: tot
        | ((s1,s2)::tail)   ->
            let newAcc = ((s1,s2)::acc)
            if s2.StartsWith("Finished importing record: Product") then
                ignoreUntil2 tail (newAcc :: tot)
            else
                takeUntil2 newAcc tail tot

Answer 1

您的代码是尾部递归的。

（在调试器和（调试）中）。exe）

默认情况下，F编译器不会在调试模式下消除尾部调用。您需要显式启用-tailcalls选项，或者在发布模式下编译。