fold_leftを使ってOCamlの要素を検索する

Question

OcamlでList.fold_leftを使って要素がリストに存在するかどうかを調べるにはどうすればいいのでしょうか？ 例：

exists 3 [1;2;3;4;5] 
=> true 

この関数の型は次のようにそれを行うにはどのようにa -> bool -> 'a list -> bool

私の考えは次のとおりです。

let exists k l = List.fold_left(fun a x-> a=x) k l 

しかし、明らかに間違っています。どのようにそれを行うにはどのような提案？

Answer 1

回答によって得られたヒントの後、私はそれをさらに改善することができました。ここで

が私の解決策は、このよう

let exists' f l =List.fold_left(fun a b-> f b || a ) false l;; 

で、この機能は、より抽象的であり、任意の述語Fのために使用することができます。

Answer 2

あなたはfalseの初期値を持っており、リストを反復処理しながら、それを渡す

let exists k l = 
    List.fold_left(
     fun a x -> if x == k then true else a) 
     false l 
;; 

のようなものを使用する必要があります。検索した要素が見つかったら、値をtrueに設定し、それを渡します。リスト内の要素が検索対象でない場合は、入力した値を渡します。検索する要素がすでに見つかっている場合は、最初はfalse、またはtrueのいずれかです。

Answer 3

let exists k l = 
    List.fold_left (fun b x -> b || x = k) false l 

の@トニオの答え上の2件のコメント：

• 利用||の代わりに、余分if ... then true else ...。
• 値を比較するために参照等価（==）の代わりに構造式（=）を使用します。

また、existsはList moduleで利用可能です。組み込み関数は、毎回リスト全体を処理する必要がないため、より効率的です。