我的代码中有无限循环吗？ 在ocaml中

Question

当我从a等于b = f（a）+ f（a + 1）+ ... + f（b-1）+ f（b）时，我想获得函数f（i）值的总和我写了这样的代码。

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 fa b-1被解析为(sigma fab) - 1而不是您的意图sigma fa (b-1) 。 由于sigma fab在您的代码中递归调用sigma fab ，因此它永远不会停止。

最佳实践是在二进制运算符（例如sigma fab - 1周围放置空格，以免误读所写内容。