这个函数是尾递归的吗?
一般来说,有没有一种方式可以正式地检查它?谢谢。
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)
一般来说,有没有一种方式可以正式地检查它?谢谢。