Ocaml：元组列表上的递归

Question

我有下面的函数表，其中包含一个元组列表（x是字符串，y是字符串列表），我想返回一个元组x1和列表y1的长度。 我用这个简单的功能试了一下：

let rec table lst = function
    | [] -> []
    | [(x1, y1, x2, y2)] -> [(x1, (List.length y1))]
    | (x1_h, y1_h, x2_h, y2_h) :: tail -> (x1_h, (List.length y1_h))::(table tail)

但是发生了以下错误：

错误：此表达式的类型为（'a *'b list *'c *'d）list->（'a * int）list，但是期望表达式为（'a * int）list类型

我不确定自己在哪里做错了。

Answer 1

function隐式地接受参数，并在其上进行模式匹配。 换一种说法：

let f = function | ...

相当于

let f lst = match lst with | ...

所以当你写

let rec table lst = function | ...

转化为

let rec table lst lst2 = match lst2 with | ...

错误指向递归调用table tail ，因为它被部分应用并返回一个函数('a * 'b list * 'c * 'd) list -> ('a * int) 。 table tail tail将按预期方式返回('a * int list) ，并且完全有效。 但是由于lst在您的函数中未使用，因此您可以删除它。