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