OCaml - シグネチャ、モジュール、タイプ

Question

シグネチャのタイプについて基本的な質問があります。私のような2つのocamlのファイルがある場合：

istr.ml

type t = int 

let get_string f v = f v 

とfstr.ml

type t = float 

let get_string f v = f v 

と

stri.mli署名を

module type STR = 
    sig 

    type t 

    val get_string: (t -> string) -> t -> string 

    end 

タイプtは何ですか？上記の署名？多形ですか？

Answer 1

これは、実装を隠し、ユーザーが直接使用することを妨げる抽象型です。 module systemまたはRWO
を参照してください。しかし、あなたのコード例がモジュールに含まれていないように見えますが、あなたの現在の例が有効かどうかはわかりません。