是否有一种将元组列表转换为列表的方式比我所做的要多？

Question

我的目标是将（int * int）列表转换为int List。这就是我所做的：

let tuples_list_to_list l =
  let rec aux_tuples_to_list acc l =
    match l with
    | [] -> acc
    | x :: tl -> aux_tuples_to_list (fst x :: snd x :: acc) tl in
  aux_tuples_to_list [] l

我想知道是否有一个更“优雅”的，即使这是主观的或至少更好的写我功能的方法。我正在考虑使用list.map或list.fold_left，但是我在弄清楚我可以使用这两个功能来完成我所做的事情。基本上，我认为有可能拥有一个单线，而不是我写的整个功能。

你怎么认为？谢谢

Answer 1

此任务适用于list.concat_map（在其他某些语言中也称为“平面地图”）：

(* List.concat_map : ('a -> 'b list) -> 'a list -> 'b list *)

let tuples_list_to_list l = 
  List.concat_map (fun (x, y) -> [x; y]) l

您可以使用list.fold_left，但是您必须反向最后的结果随着列表的相反顺序构建：

let tuples_list_to_list l = 
  List.rev (List.fold_left (fun acc (x, y) -> y :: x :: acc) [] l)

Answer 2

您还可以在模式匹配中解构元组值，而不是使用fst和snd（此版本，与您的不同，给出了一个结果列表，其数字的数字与数字一样orignal）：

let tuples_list_to_list l =
  let rec aux_tuples_to_list acc l =
    match l with
    | [] -> List.rev acc
    | (x, y) :: tl -> aux_tuples_to_list (y :: x :: acc) tl in
  aux_tuples_to_list [] l

另一个选项是使用list.fold_right，它避免了在末尾以不为尾部递归的成本倒转累加器列表的需要：

let tuples_list_to_list l =
  List.fold_right (fun (x, y) acc -> x :: y :: acc) l [];;