OCaml列表反转函数rev_list工作原理及语法疑问解析

你提到的这个列表反转函数确实是OCaml里经典的尾递归实现，先把代码再清晰列出来：

let rev_list l = 
  let rec rev_acc acc = function 
    | [] -> acc 
    | hd::tl -> rev_acc (hd::acc) tl 
  in rev_acc [] l 

接下来逐个解答你的疑问：

疑问1：内部定义rev_acc时仅声明接收acc参数，为何调用时可传入两个参数？ #

这其实是OCaml语法糖带来的错觉～你看到的let rec rev_acc acc = function ...，本质上等价于：

let rec rev_acc acc l = 
  match l with
    | [] -> acc 
    | hd::tl -> rev_acc (hd::acc) tl 

function关键字会自动帮你绑定一个匿名参数，并对这个参数做模式匹配。所以rev_acc实际上是一个接收两个参数的函数：第一个是累加器acc，第二个是待处理的列表（就是function隐式绑定的那个参数）。当你调用rev_acc [] l时，[]传给acc，l传给function对应的那个隐式参数，完全符合函数的参数定义。

疑问2：let rec rev_acc acc = function的语法含义是什么？为何不使用match？该语法是否与柯里化相关？ #

语法含义 #

function是OCaml里的一个语法糖，它等价于fun x -> match x with。所以let rec rev_acc acc = function ...展开后就是：

let rec rev_acc acc = 
  fun l -> match l with
    | [] -> acc 
    | hd::tl -> rev_acc (hd::acc) tl 

这种写法的好处是能少写一次参数名和match with，让代码更简洁，尤其当函数最后一个参数是要做模式匹配的对象时，用function会更清爽。

和match的关系 #

它就是match的简化写法，核心逻辑完全一样——都是对输入的列表做模式匹配，区分空列表和非空列表的情况。只是function帮你省略了显式的参数绑定和match关键字，本质没有区别。

和柯里化的关联 #

这确实和OCaml的柯里化特性紧密相关！OCaml里的多参数函数本质上都是“返回函数的函数”：比如一个接收两个参数的函数，其实是先接收第一个参数，然后返回一个接收第二个参数的函数。

在rev_acc的定义里，rev_acc acc会返回一个新的函数（就是fun l -> match ...那部分），这个新函数接收列表参数并执行反转逻辑。当你调用rev_acc [] l时，其实是先把[]传给rev_acc得到一个绑定了初始累加器的函数，再把l传给这个新函数——这就是柯里化函数的调用方式。这种写法天然利用了OCaml的柯里化特性，让递归调用的写法更简洁直观。

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