我的rec函数是尾递归的吗？

这个函数是尾递归的吗？

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)

一般来说，有没有办法formally核实 ？

Thanks.

该函数是尾递归的；我用肉眼就能看出来。

一般来说，这并不总是容易判断。也许最可靠/务实的事情就是在大输入上检查它（并确保您在“发布”模式下进行编译，因为“调试”模式会关闭尾部调用以实现更好的调试）。