这个OCAML功能有什么问题？

Question

这是我的原始代码。

let rec reverse l =
   match l with 
   | [] -> []
   | (h::t) -> (reverse t) :: h

Answer 1

cons ::运算符将一个元素作为左手参数，将一个列表作为右手参数。在这里，你做相反的事情是行不通的。

在列表末尾的元素处添加元素的正确方法是使用列表连接：

let rec reverse l =
  match l with
  | [] -> []
  | h :: t -> (reverse t) @ [h]

但该代码并非最佳，您可能希望将其设为tail recursive。