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 了解更一般的会员标准。