Ocaml：再帰：intersection

Question

関数名：intersection：2つのリストを取り、両方に表示されるすべての要素のリストを返します。

ie：[1; 2; 2; 3; 4; 4; 3] [2; 3]→[2; 2; 3; 3]

let rec intersection (l1: int list) (l2: int list) : int list = 
    begin match l1, l2 with 
     | hd :: tl, hd2 :: tl2 -> if hd = hd2 then hd :: intersection tl l2 
              else intersection tl l2 
     | _ -> [] 
    end 

このコードに問題がありますが、修正方法がわかりません。コードは実行され、[2; 2] l2の最初の要素である2と比較し続けますが、l1もtl2と比較したいのですが、誰にでも提案がありますか？

Should I add another match [], [] -> to clarify base case at the beginning? 

Answer 1

どのように他のリストの最初の要素を参照していますか？

別matchステートメントを使用します。

let rec intersection (l1: int list) (l2: int list) : int list = 
    begin match l2 with 
     | []   -> [] 
     | hd2 :: tl2 -> begin match l1 with 
         | []   -> … 
         | hd1 :: tl1 -> … 
         end 
    end 

ます。また、この場合には不要ですbegin/end括弧を省略し、そしてすぐにタプル時に照合することによって、これを簡略化することができます。

let rec intersection (l1: int list) (l2: int list) : int list = match l1, l2 with 
    | [],  _  -> [] 
    | hd1::tl1, []  -> … 
    | hd1::tl1, hd2::tl2 -> … 

_{（免責事項：私は、同じ関数の2つの最初の要素を見ることが有用かどうかという疑問を無視しましたr intersectionを実装しています）}