具有遞歸功能的Stackoverflow

Question

let rec f a p n = if p n then a else a + f a p (n - 1) 
let a, p, n = 3, (fun x -> x = 1), 4 
f a p n 

當n < = 0時獲得stackoverflow。不知道如何解決這個問題。

Answer 1

你p = fun x -> x = 1其中，當然，檢查是否x是1

你的遞歸調用使用p上n，否則遞減n。

這將導致n變得越來越負，導致無限遞歸，因爲n永遠不會是1.要解決這個問題，您不需要調用p的值爲n小於1或更改您的檢查函數來執行除檢查值1以外的其他值。

也許嘗試let a, p, n = 3, (fun x -> x <= 1), 4。