我的代碼中是否存在無限循環？在ocaml

Question

我想獲得函數f（i）值的總和，當i等於a到b時，f（i）+ f（a + 1）+ ... + f（b-1）+ f（b） 所以我寫了這樣的代碼。

let rec sigma : (int -> int) -> int -> int -> int 
= fun f a b -> 
if a=b then f a 
else f b + sigma f a b-1 ;; 

但結果是在評估期間存在堆棧溢出。有無限循環嗎？爲什麼？

Answer 1

sigma f a b-1被解析爲(sigma f a b) - 1而不是您的意圖，sigma f a (b-1)。由於sigma f a b在您的代碼中遞歸調用sigma f a b，因此它永不停止。

最佳做法是在二進制運算符周圍放置空格，如sigma f a b - 1，這樣就不會誤讀您寫的內容。