Question

我已经定义了一个模块类型ZONE和两个仿函数（ZoneFun和ZoneFunPrec）来构建它：

(* zone.ml *)
module type ZONE =
sig
  type info
  type prop
  type t = { p: prop; i: info }
  val f1 : t -> string
end

module ZoneFun (Prop : PROP) = struct
  type info = { a: int }
  type prop = Prop.t
  type t = { p: prop; i: info }
  let f1 z = "f1"
end

(* zoneFunPrec.ml *)
module ZoneFunPrec (Prop: PROP) (Prec: ZONESM) = struct
  type info = { a: int; b: Prec.t }
  type prop = Prop.t
  type t = { p: prop; i: info }
  let f1 z = "f1"
  let get_prec z = z.info.prec
end

这两个仿函数中的一些函数的实现方式不同（例如f0）;一些函数完全相同（例如f1）。我的问题是如何提取这些常用函数以避免两次实现它们？

编辑（我意识到我需要提供更具体的信息以使其更清晰...对此更改感到抱歉...）

ZoneFun和ZoneFunPrec之间存在一些差异：

1）他们的type info不一样 2）ZoneFunPrec get_prec ZoneFun没有ZONE，而module ZoneB = ZoneFun(B)的结果并不需要它。

所以稍后我可以写module ZoneA = ZoneFunPrec(C)(ZonesmD)和{{1}}来构建区域......

Answer 1

您可以执行以下操作：

module ZoneFunPrec (Prop: PROP) = struct
  module Zone1 = ZoneFun(Prop)
  type prop = Prop.t
  type t = string
  let f0 x = "f0 in ZoneFunPrec"
  let f1 = Zone1.f1
end

但这只有在你没有在仿函数中归属签名时才会起作用

module ZoneFunPrec (Prop: PROP) : ZONE = ...

如果你想要不透明的归属，你可以做这样的事情

(* No ascription here *)
module SharedFn (Prop : PROP) = struct
  type prop = Prop.t
  type t = string
  let f0 x = "f0 in ZoneFun"
  let f1 x = "f1"
end

(* Ascribe the module to hide the types *)  
module ZoneFun (Prop : PROP) : ZONE = struct
  module Shared = SharedFn(Prop)
  let f1 = Shared.f1
  ...defs specific to ZONE...
end 

module ZoneFunPrec (Prop: PROP) : ZONE_PREC = struct
  module Shared = SharedFn(Prop)
  type prop = Prop.t
  type t = string
  let f0 x = "f0 in ZoneFunPrec"
  let f1 = Shared.f1
  ...defs specific to ZONE_PREC...
end

您可以尝试使用include Shared来保存输入，但这些类型将是抽象的，因此它不会非常灵活。

从2个仿函数中提取常用函数

1 个答案: