ocaml型のコード例から、

Question

これは基本的なocaml型の質問かもしれません。以下のコードのタイプをocamlのトップレベルから('a * 'a) list -> 'a listとする方法を説明してください。

let rec func lst = match lst with 
|[] -> [] 
|h::t -> match h with 
|(a,b) -> if (a = b) then a::(func t) else b::(func t);; 

Answer 1

コードの種類を1つ1つ確認してみましょう。最初の行では、コード内のfuncは関数の名前を表し、lstはタイルリストです。lstとの一致を使用し、[]->[]と(a,b)->を取得し、a = b（aとbは同じタイプです。これは前に指摘していただきありがとうございます）ので、('a*'a) list。では、func関数の出力を調べてみましょう。 4行目では、自体を再帰的に呼び出し、その戻り値は::の定義によってxが値であり、yがx::yのリストであるためリストになります。 ocamlのリストは同種であるため、リストのタイプは値aと同じになります。値aの値は、aの値が(a,b)であるため、'aです。したがって、タイプは('a * 'a) list -> 'a listです。