OCaml中两个let...in表达式共存为何触发编译错误？

问题重现 #

你编写的let.ml文件内容：

let x = 1 in x + 1
let y = 1 in y + 1

编译时出现语法错误：

File "let.ml", line 2, characters 10-12:
2 | let y = 1 in y + 1
              ^^
Error: Syntax error

单独保留任意一行均可正常编译。

错误原因 #

OCaml的.ml源文件遵循**结构（structure）**语法规则，结构的合法元素是全局定义（如不带in的let绑定、类型定义等），而非普通表达式。

let x = 1 in x + 1属于表达式，它的作用是在局部范围内绑定变量并计算结果。OCaml允许顶层单独存在一个表达式作为特殊情况处理，但连续放置多个表达式时，编译器无法解析这种不符合结构语法的序列，因此抛出语法错误。

解决办法 #

有三种常见的修复方式：

• 用;;分隔表达式：明确告诉编译器这是两个独立的顶层表达式

  let x = 1 in x + 1;;
  let y = 1 in y + 1
  

• 转为全局let绑定：将表达式的结果绑定到全局变量

  let x_result = let x = 1 in x + 1
  let y_result = let y = 1 in y + 1
  

• 用ignore丢弃结果：如果不需要保留计算结果，可将表达式包裹在ignore中作为顶层绑定

  let _ = ignore (let x = 1 in x + 1)
  let _ = ignore (let y = 1 in y + 1)
  

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