f# - 我的 rec 函数是尾递归的吗？

Question

这个函数是尾递归的吗？

let rec rec_algo1 step J = 
    if step = dSs then J
    else
        let a = Array.init (Array2D.length1 M) (fun i -> minby1J i M J)
        let argmin = a|> Array.minBy snd |> fst
        rec_algo1 (step+1) (argmin::J)

一般来说，有没有办法到 正式核实 ？

谢谢。

Answer 1

这个函数是尾递归的；我可以通过观察它来判断。

一般来说，这并不总是容易分辨。也许最可靠/最实用的方法就是在大输入上检查它(并确保您在“发布”模式下编译，因为“调试”模式会关闭尾调用以进行更好的调试)。