OCaml中in关键字的作用是什么？两段示例代码有何区别

in关键字核心语法规则 #

OCaml中let绑定分为两种形式，in是局部表达式绑定的固定搭配，语法结构为：

let <绑定名称> [参数列表] = <绑定值> in <生效范围表达式>

核心规则：

• 带in的let不是独立语句，是表达式的组成部分，整个let...in...结构本身有返回值，返回值就是in后面的生效范围表达式的计算结果
• 前面定义的绑定（变量、函数），仅能在in后面紧跟的表达式范围内被访问，超出这个范围绑定就会失效
  和它对应的是不带in的顶层/模块级绑定，以;;结尾，会把绑定永久加入当前模块/交互环境的全局作用域。

in关键字适用场景 #

• 定义仅在小段逻辑内使用的辅助函数、临时变量，避免多余的全局绑定污染外层命名空间
• 拆分逻辑复杂的长表达式，给中间计算结果起有语义的名字，提升代码可读性，不需要为了临时值额外声明全局变量
• 编写纯函数逻辑时封装内部实现细节，只对外暴露最终计算结果，不需要外部访问的中间绑定全部用let...in做局部隔离

两段代码的具体差异 #

两段代码最终计算结果都是12，但作用域规则、执行逻辑完全不同：

第一段代码 #

let pow x =x*x;;
let y = 3;;
pow 3 + y;;

• 作用域层面：这是三个独立的顶层操作，定义的pow（平方函数）、y（值为3）都是全局顶层绑定，这三行执行完成后，后续在当前交互环境/模块里的任意位置都可以调用pow、读取y的值，两个名字会永久留在全局环境中。
• 执行逻辑：三行按顺序独立执行：第一行把平方函数注册到全局环境，第二行把整数值3注册到全局环境，第三行读取全局环境里的pow和y完成计算，返回结果12。

第二段代码 #

let pow x =x*x in 
let b = 3 in
pow 3 + b;;

• 作用域层面：这是一个单独的嵌套局部表达式，定义的pow、b都是局部临时绑定：pow的生效范围是后面整段let b = 3 in pow 3 + b，b的生效范围仅为最后面的pow 3 + b。整个表达式计算完成后，pow和b会被直接销毁，后续代码再访问这两个名字会直接报未绑定错误，完全不会污染全局环境。
• 执行逻辑：执行时先创建一个临时的局部环境，在里面绑定pow为平方函数，再在这个局部环境里嵌套绑定b为3，最后在同时能访问到两个局部绑定的范围内计算pow 3 + b，返回结果12后直接释放临时环境。

可以在OCaml交互环境（ocaml/utop）里做简单验证：逐行运行第一段代码后，再输入pow 2;;会正常返回4，输入y;;会正常返回3；运行完第二段代码后再输入pow 2;;或者b;;，会直接触发Unbound value的报错，因为两个局部绑定在计算结束后已经不存在了。

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