M
モジュールによってパラメータ化されたモジュールがあるとしましょうF
:
module M (F : sig type id type data end) =
struct
type idtype = F.id
type datatype = F.data
type component = { id : idtype; data : datatype }
let create id data = { id; data }
let get_comp_data comp = comp.data
let get_comp_id comp = comp.id
end
だから私はこのようにそれを使用します:
module F1 = struct type id = int type data = float end
module MF1 = M(F1)
let comp = MF1.create 2 5.0
let id = MF1.get_comp_id comp
M
さて、署名を一致させたい場合S
:
module type S =
sig
type idtype
type datatype
type component
val create : idtype -> datatype -> component
val get_comp_data : component -> datatype
val get_comp_id : component -> idtype
end
module F1 = struct type id = int type data = float end
module MF1 = (M(F1) : S)
let comp = MF1.create 2 5.0
let id = MF1.get_comp_id comp
ここで気になるのは、とを定義するためにget_comp_data
、モジュールでとget_comp_id
を指定する必要があることです。今、私が他のレコードタイプを独自のタイプで持っていると想像してみてください。指定するタイプは12個ありますか?それを回避する簡単な方法はありますか?idtype
datatype
S
M
S