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したがって、より一般的なメンバーシップ基準に使用できます。