为何OCaml中while循环体的多个let语句会引发编译错误？

先看你给出的错误代码：

let found = ref false

let () =
  while not (Queue.is_empty q) && not !found do 
    let next = Queue.pop q
    let () = found := (next.subtotal == total)
  done 

核心原因：顶级作用域和表达式内部的let语法规则不同 #

OCaml里let的写法分两种场景，规则完全不一样：

• 顶级作用域（比如文件最外层、let () = ...这类顶级执行语句之外）：多个let可以连续写，不需要in。这是因为每个let都是独立的全局/模块级绑定，OCaml会默认它们是并列的顶级定义。你把两个let移到循环外能正常编译，就是这个道理。
• 表达式内部（比如while的循环体、if的分支里，这些都是单个表达式）：let是局部绑定，必须遵循let 绑定 in 后续表达式的完整语法。这里的in用来衔接“绑定定义”和“使用这个绑定的代码”，构成一个完整的表达式。

你的循环体属于表达式内部，原代码里第一个let没有in，OCaml不知道这个绑定后续要衔接什么，自然会报错提示你补in。而修改后的代码把两个语句合并成let next = Queue.pop q in found := (next.subtotal == total)，就符合了表达式内部let的语法规则——先定义局部变量next，然后在in后面的表达式里使用它来更新found，整个结构是一个合法的表达式，可以作为循环体执行。

另外，你第二个let () = ...其实是没必要的，因为found := ...本身就是一个单位类型（unit）的表达式，直接写在in后面就行，不需要用let ()包裹。

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