list - OCaml:检查成员记录列表

Question

如果我定义了以下类型:

type category = Noun | Verb | Adjective | Preposition;;
type transformation = {start: category; fin: category};;

回答“类型转换列表中 start = Noun 的记录是什么？”这个问题的最佳方式是什么？

有点像

let un = [{start= Noun; fin= Noun}; {start= Verb; fin= Adjective}];;    
List.mem {start = Noun; _} un;;

除了语法似乎不起作用。

Answer 1

List.exists (fun x -> x.start = Noun) un

List.mem 可以看作是 List.exists 的一个特例，其中 List.mem x ys 等价于List.exists ((=) x) ys。因此，您可以使用 List.exists 来获得更一般的成员条件。