これはなぜリストではありませんか？

Question

私の新しいことをOCamlに許してください。しかし、私は2つのリストの交差を返す非常に単純な関数を持っていますが、同時に両方のリストに要素があるときだけです。 3行目では、「この式には 'a'型がありますが、式には 'a list'が期待されていますが、出力するリストではありません。

let rec intersection (l1 : 'a list) (l2 : 'a list) : 'a list = match l1,l2 with 
    | [],[] -> []    (* empty lists *) 
    | [h1::t1], [h2::t2] -> (* non-empty lists *) 
     if h1 = h2   (* if both elements are the same *) 
     then h1 :: intersection(t1,t2) (* include in intersection response *) 
     else intersection(t1, t2)  (* else ignore it and check the remaining elements *) 

Answer 1

表現a :: bは、その頭aとテールbであるリストです。したがって、表現[a :: b]はリストのリストです。あなたのパターンはh1 :: t1とh2 :: t2になるはずです。

@PieOhPahが指摘するように関数全体を投稿すると、助けがはるかに簡単になります。

更新

あなたのコード内の少なくとも2個のエラーがあります。私はこの参照上で与えられたとして、私はあなたのコードをコンパイルする場合：私は[h1 :: t1], [h2 :: t2]からh1 :: t1, h2 :: t2にあなたのパターンを変更した場合

File "a1.ml", line 5, characters 13-15: 
Error: This expression has type 'a but an expression was expected of type 
    'a list 
    The type variable 'a occurs inside 'a list 

を、私はこれを参照してくださいので

は

File "a2.ml", line 5, characters 31-38: 
Error: This expression has type 'b * 'c 
    but an expression was expected of type 'a list 

この第二のエラーが発生しintersectionにあなたの再帰呼び出しタプルはintersection (a, b)です。しかし、intersectionはカレー化された形式で定義されています。すなわち、別の引数intersection a bを取ります。これは@PieOhPahが指摘しているものです。

私が両方の変更を行った場合、それ以上のタイプエラーは表示されません。他にもエラーがありますが、タイプエラーではありません。