简单递归 function - OCAML

Question

有人可以看看我的代码有什么问题吗？ 它一直告诉我它会导致堆栈溢出。

let rec to_ten x =
  if x = 10 then x 
  else if x < 10 then to_ten x + 1 
  else to_ten x - 1
  ;;

Answer 1

在这里，您需要在加法和减法周围添加括号：

let rec to_ten x =
  if x = 10 then x 
  else if x < 10 then to_ten (x + 1)
  else to_ten (x - 1)

否则，运算符优先级会使to_ten x + 1读为((to_ten x) + 1) ，这会导致无限循环。 请参阅7.7.1 优先级和关联性