このocamlの構文は何を意味していますか？

Question

type 'k leaf = {a_bb : 'k -> string;} 

ocamlのこのコード行が何を意味するのか理解できません。誰も助けることができますか？

Answer 1

それは'kは、我々は前に述べたパラメータであるタイプ'k -> stringの一つのフィールドa_bbとレコード型である'k変数の型の上にparametrised新しいタイプleafを宣言します。

タイプ'k leafの値の例は次のようになります

{ a_bb = fun _ -> "Hello World!" } 

しかし'kもコンクリート型などに特化することができますフィールドa_bb内の関数への引数が意味を作るために表現if b then (...)のブールなければならないので、

{ a_bb = fun b -> if b then "Hello World!" else "Argh!" } 

はタイプbool leafを持っています。

あなたはそうのような突起部を使用することにより、フィールドa_bbで機能にアクセスすることができます。

fun v -> v.a_bb