OCaml新手疑问：为何相似逻辑的代码一段可编译，另一段无法通过

• 你写的无法编译的代码，在语法解析阶段就会直接报错，根本走不到后续的类型检查环节，核心是完全混淆了两个用途完全不同的语法元素：
  • 所有let形式的名称绑定，严格遵循 let <绑定的名字/模式> = <表达式> in <后续表达式> 的格式，这里的=是语法强制要求的分隔符，作用是将右侧表达式的值与左侧的名称建立绑定关系。
  • := 不属于let绑定的语法组成部分，它是专门操作可变引用的赋值运算符，作用是修改引用指向的内存单元的存储值，整个赋值操作是一个独立的、返回unit类型的表达式，绝对不能替换掉let绑定要求的=符号。
    你写的 let seed:=!seed+1 in !seed 这段代码，解析器在识别到let seed后，按照规则下一个必须出现的符号是=，结果遇到了:=，会直接抛出语法错误，根本不会去校验后续的逻辑是否合理。

两段代码的本质差异 #

• 第一段可以正常编译的代码：let x = ref 0 in !x 完全符合let绑定的语法规则——新建局部名称x，把右侧创建引用的表达式ref 0的值绑定给x，in后接解引用的表达式作为整个块的返回值，全程没有语法违规，因此可以顺利编译运行。
• 出问题的代码：你把本该作为独立表达式存在的赋值操作seed := !seed +1，硬塞进let绑定的等号位置，替换掉了语法要求的=，从格式上就不符合解析规则。

对应预期逻辑的正确实现 #

如果你想实现「自增全局seed引用的存储值、返回自增后的结果」的效果，根本不需要把赋值操作放到let绑定结构里。OCaml 的函数体支持顺序执行多个表达式，规则是：用分号连接多个表达式，按顺序依次执行，最后一个表达式的值作为整个函数的返回值，前面表达式的返回值会被直接丢弃。正确的代码写法如下：

let seed = ref 6;;

let show_ref () =
  (* 先执行引用赋值操作，返回的unit值会被直接丢弃 *)
  seed := !seed + 1;
  (* 最后一个表达式的结果作为函数返回值 *)
  !seed

这段代码可以正常编译，每次调用show_ref ()都会让seed引用存储的值加1，第一次调用返回7，第二次返回8，和你最初的预期完全一致。

新手极易踩的衍生误区 #

很多新手修正语法时会本能地觉得只是符号写错了，把:=换成=，写出如下代码：

let seed = ref 6;;

let show_ref () =
  let seed = !seed + 1 in !seed

这段代码虽然语法上没有问题，可以通过编译，但运行逻辑和你预期的完全不同：

• 这里的let绑定会创建一个全新的局部int类型变量，名字也叫seed，值是全局seed引用解引用后加1的结果，是完全不可变的。
• 后续的!seed会直接触发类型错误：因为这个局部绑定的seed是普通int值，不是引用类型，根本不能用解引用运算符!操作。
• 整个过程不会修改外层全局那个ref int类型的seed的存储值，完全达不到自增引用的效果。

内容的提问来源于stack exchange，提问作者P. Gillich