如何在可迭代列表中应用函数

如何解决如何在可迭代列表中应用函数

所以我是 OCaml 的新手，我在使用列表时遇到了一些问题。 我有一个字符列表如下：

let letters = [a;b;c;d]

我想知道如何迭代列表并应用一个函数，该函数将列表中两个字符的每个可能组合（do_someting char1 char2）作为参数，例如：a 和 b（do_something ab），a 和c .... d和b，d和c；从不重复相同的元素（a 和 a 或 c 和 c 不应该发生）。

解决方法

OCaml 是一种函数式语言，因此我们想尝试将过程分解为尽可能多的函数式部分。

第 1 步是“列出事物并生成所有组合”。我们不在乎之后会发生什么；我们只想知道所有这些组合。如果您希望每个组合只出现一次（即 (a,b) 会出现但 (b,a) 不会出现，在您的示例中），那么一个简单的递归定义就足够了。

let rec ordered_pairs xs =
  match xs with
  | [] -> []
  | (x :: xs) -> List.append (List.map (fun y -> (x,y)) xs) (ordered_pairs xs)

如果您想要反向重复项（(a,b) and (b,a)），那么我们可以在最后添加它们。

let swap (x,y) = (y,x)

let all_ordered_pairs xs =
  let p = ordered_pairs xs in
  List.append p (List.map swap p)

现在我们有了所有元组的列表。接下来会发生什么取决于你想要什么样的结果。很有可能，您正在查看内置 List module 中的某些内容。如果您想将该函数应用于每一对的副作用，List.iter 可以解决问题。如果您想将结果累加到一个新列表中，List.map 会这样做。如果你想应用一些操作来组合结果（比如，每个函数返回一个数字，你想要数字的总和），那么 List.map 后跟 List.fold_left（或复合 {{1} }) 会做。

当然，如果您刚刚开始，自己编写这些 List.fold_left_map 函数会很有启发性。每一个都是一个简单的一两行递归定义，对自己编写非常有指导意义。