OCaml单冒号语法作用 函数返回值类型标注相关疑问

OCaml中的单冒号是显式类型标注符，作用是给冒号左侧的语法元素加类型约束，用来限定编译器的类型推导范围，不会改变代码运行逻辑，也不会引入额外的运行时开销。

你给出的代码片段如下：

let update_variable (old_state : state) (var_name : var) (new_value : value) : var -> value option =
  fun x -> if x = var_name then Some new_value else old_state x

代码里所有单冒号的作用完全统一：

• (old_state : state)：指定参数old_state的类型必须是state
• (var_name : var)：指定参数var_name的类型必须是var
• (new_value : value)：指定参数new_value的类型必须是value
• 参数列表末尾、等号前的冒号：用来指定update_variable接收完所有显式声明的参数之后，最终返回值的类型必须是var -> value option，也就是你有疑问的这处冒号。

不存在额外参数被省略的情况，你看到的类型推导结果和代码标注是完全匹配的：
OCaml的多参数函数默认采用柯里化实现，函数类型的->运算符是右结合的，推导结果里的类型写法会默认省略右侧的结合括号，你看到的state -> var -> value -> var -> value option本质是state -> var -> value -> (var -> value option)的简写。当你依次传入old_state、var_name、new_value三个参数后，函数返回的就是等号后定义的fun x -> ...闭包，这个闭包接收一个var类型的参数、返回value option类型的结果，正好和标注的返回类型一致，没有隐藏的未声明参数。

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