OCaml递归列表大小函数返回错误的大小

Question

我假设这正是找到列表长度的代码：

let rec size lst =
  match lst with
    | [] -> 0
    | h::t -> 1 + (size t);;

但是由于某种原因，当我将其应用于大小为2的列表时，它返回1吗？ 我觉得自己缺少一些明显的问题，但这对我来说似乎很简单。

Answer 1

由于[1,2]是[(1,2)]的语法糖，因此表达式size [1,2]将返回1 ，即，它是由一对组成的列表。 列表的元素用分号分隔; 在OCaml中。 因此， size [1;2]将返回2 。