我怎么知道函数是否在F＃中是尾递归的

Question

我写了以下函数：

let str2lst str =
    let rec f s acc =
      match s with
        | "" -> acc
        | _  -> f (s.Substring 1) (s.[0]::acc)
    f str []

我如何知道F＃编译器是否将其转换为循环？有没有办法在不使用Reflector的情况下找到答案（我没有使用Reflector的经验而且我不知道C＃）？

编辑：另外，是否可以在不使用内部函数的情况下编写尾递归函数，或者循环是否需要驻留？

此外，F＃std lib中是否有一个函数可以多次运行给定函数，每次都将最后一个输出作为输入？让我说我有一个字符串，我想在字符串上运行一个函数然后再次在结果字符串上运行它等等......

Answer 1

不幸的是，没有简单的方法。

阅读源代码并使用类型并通过检查确定是否是尾部调用（它是'最后一件事，而不是'try'块）并不是很难，但是人们第二 - 猜测自己，犯错误。没有简单的自动方式（除了检查生成的代码之外）。

当然，您可以在大量测试数据上试用您的功能，看看它是否爆炸。

F＃编译器将为所有尾调用生成.tail IL指令（除非使用编译器标志关闭它们 - 用于保存堆栈帧以进行调试时），但直接尾递归函数除外将被优化为循环。 （编辑：我认为现在F＃编译器也无法发出.tail，因为它可以证明通过这个调用站点没有递归循环;这是一个优化，因为.tail操作码在许多平台上都慢一点。）

'tailcall'是一个保留关键字，其想法是F＃的未来版本可能允许您编写例如。

tailcall func args

然后如果不是尾调用则会收到警告/错误。

只有非自然尾递归的函数（因而需要额外的累加器参数）才会“强迫”你进入'内部函数'习语。

以下是您提出的问题的代码示例：

let rec nTimes n f x =
    if n = 0 then
        x
    else
        nTimes (n-1) f (f x)

let r = nTimes 3 (fun s -> s ^ " is a rose") "A rose"
printfn "%s" r

Answer 2

我喜欢Paul Graham在 On Lisp 中制定的经验法则：如果还有要做的工作，例如操纵递归调用输出，然后调用不是尾递归。