OCaml - 簽名，模塊和類型

Question

我有一個關於簽名類型的基本問題。如果我有像兩個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 

什麼是在類型噸以上簽名？它是多態的嗎？

Answer 1

它是隱藏實現並阻止用戶直接使用它的抽象類型。請參閱module system或RWO
但我不確定您當前的示例是否可以正常工作，因爲您的代碼示例似乎不在模塊中。