OCaml递归函数无法终止及类型错误问题求助

问题1：queueaddrec1无限循环 #

原因 #

OCaml的if-else是表达式，分支内的多语句必须用begin...end或括号包裹，否则else只绑定紧随其后的单条语句。原代码中：

else
 Queue.add n qrec;
 queueaddrec1 (n-1)

实际执行逻辑是：当n≠1时，执行Queue.add n qrec，然后无条件执行queueaddrec1 (n-1)；当n=1时，执行Queue.add 1 qrec后，依然会执行后面的queueaddrec1 (n-1)（即queueaddrec1 0）。递归没有终止条件，陷入无限循环。
另外OCaml中相等判断应使用=（结构相等），==用于物理相等，此处用=更合理。

解决方法 #

将else分支的两条语句包裹在begin...end中，确保递归调用属于else分支的一部分：

let qrec = Queue.create ()

let rec queueaddrec1 n =
  if n = 1 then
    Queue.add 1 qrec
  else begin
    Queue.add n qrec;
    queueaddrec1 (n-1)
  end

let () =
  queueaddrec1 5;
  Queue.iter print_int qrec;

问题2：queueaddrec2类型错误 #

原因 #

1. 函数名拼写错误：递归调用时写了queueaddrec，但函数实际名为queueaddrec2；
2. if分支结构错误：if n>1后的两条语句未包裹，导致queueaddrec2 (n-1)无条件执行，与else分支的unit类型返回值冲突，引发类型推断混乱。

解决方法 #

修正函数名，并用begin...end包裹if分支的多语句：

let rec queueaddrec2 n =
  if n > 1 then begin
    Queue.add n qrec;
    queueaddrec2 (n-1)
  end
  else
    Queue.add 1 qrec

修正后函数逻辑为：当n>1时，添加元素并递归；n≤1时添加1，递归终止，类型匹配正常。

内容的提问来源于stack exchange，提问作者wang kai