如何访问 OCaml 中的列表

Question

我想编写一个函数来检查列表中的每个项目是 true 或 false。如果至少有一个元素为 false，它将返回 true，因此：

assert_eq "checkFalse [true; false; true]" (checkFalse [true; true; true]) false;
assert_eq "checkFalse [false; false]" (checkFalse [false; true]) true;

我是 OCaml 的绝对初学者，我不知道如何解决这个问题。我尝试使用 for 循环，例如：

let rec checkFalse (bools: bool list) : bool =
for i = 0 to bools.length do
    if bools.length == false then false
    else... (I don't know how to continue)

然后它说“未绑定记录字段......”

我也尝试使用 find ，例如： if (find false bools != Not_found) then true else false

但我的方法不起作用。我有 Java 背景。

Answer 1

let rec checkFalse xs =
    match xs with [] -> false
    | false :: _ -> true
    | _ :: tl -> checkFalse tl;;

Answer 2

最简单的方法就是 let checkFalse = List.exists not。

List.exists 将一个函数和一个列表作为参数，并告诉您传递的函数是否对列表中的任何元素返回 true。 not 返回布尔值的否定。

Answer 3

让 checkFalse = List.exists (fun elem -> elem = false) your_list in

doc:
val 存在：('a -> bool) -> '列表-> bool

存在 p [a1; ...; an] 检查列表中是否至少有一个元素满足谓词 p。

也就是说，它返回 (p a1) || (p a2) || ... || （平底锅）。

Answer 4

看一下 List 模块： http://caml.inria.fr/pub/docs/manual-ocaml/libref/List.html 特别是 exists 方法。对于您想要的，您可以简单地执行以下操作：

List.exists (fun x -> not x) [true;true;...;false;...]

如果列表中的任何元素满足谓词（函数），则 exists 函数将返回 true。在这种情况下，谓词是 fun x ->不是 x，如果 x 为 false，则返回 true。

对于一般列表访问，通常使用模式匹配和递归，或使用函数 iter、map、fold_left 和 来完成此操作Fold_right（等等）。这是使用模式匹配的 exists 实现：

let rec exists f l = match l with
  | [] -> false (* the list is empty, return false *)
  | h::t -> if (f h) then true (* the list has a head and a (possibly empty) tail.  Check the return value of the predicate 'f' when applied to the head *)
    else exists f t (* the predicate is false, recursively call the `exists` function on the tail *)

编辑：正如 Chuck 所发布的，而不是 fun x ->; not x 你可以简单地使用not。

另一种可能性是使用 mem 函数：

List.mem false bools