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更一般的成员资格标准。