OCaml函数类型推导疑问：高阶函数推导逻辑及多参语法糖拆解

类型推导错误的核心原因 #

你错误理解了OCaml函数应用的结合性规则：OCaml中函数应用是左结合的，表达式a b c等价于(a b) c，而非你误认为的a (b c)，因此不需要b接收c作为参数，这是你推导出错的根源。

我们可以按照正确的结合性一步步推导类型：

1. 子表达式(a b)是函数a调用参数b的结果，因为后续还要调用参数c，所以(a b)本身必须是一个单参数函数，我们假设它的类型为 'b -> 'c
2. 由此可得a的类型为：接收类型为'a的参数b，返回'b -> 'c类型的函数，即 'a -> ('b -> 'c)，OCaml中可以简写为 'a -> 'b -> 'c
3. 表达式(a b) c 是(a b)这个函数调用类型为'b的参数c，得到的结果类型为'c
4. 综上，三个参数a、b、c的类型分别是 ('a -> 'b -> 'c)、'a、'b，返回值类型为'c，所以func的整体类型就是 ('a -> 'b -> 'c) -> 'a -> 'b -> 'c，和OCaml的推导结果完全一致。

语法糖拆解正确性 #

你给出的拆解是完全正确的。OCaml的多参数let绑定本质就是柯里化函数的语法糖，let func a b c = a b c 等价于标准柯里化写法：

let func = fun a -> fun b -> fun c -> a b c

你写的版本给最内层lambda加了括号，因为OCaml的函数类型箭头是右结合的，额外加括号不会改变语义，写法完全合法。

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