函子与多个参数OCaml中

Question

我有以下情况：

module type M = sig type s = ... end 

module Make(P: Something) : (M with type s = P.t) = struct 
    type s = P.t 
    ... 
end 

工作正常生成用具体的实施及其实施内部Something类型的模块，M类型的模块。

现在假设我有另外一个模块定义为

module type AU = sig 
    val feed : float -> unitv 
    val nth : int -> (float -> float) 
    val reset : unit -> unit 
end 

有各种实现

module SUAlg : AU = struct ... end 
module MLAlg : AU = struct ... end 
module ACEAlg : AU = struct ... end 

这个问题的一点是，M模块应该结束了两件事情被参数：一个Something模块和AU模块，以便它类似于

module Make(P: Something) : (M with type s = P.t) = struct 
    type s = P.t 
    module Alg = MLAlg (* just an example *) 
    ... 
end 

但我想有一个通用仿函数给出Something并给出AU它会生成一个模块，它具有两个具体实现。有没有办法轻松获取？

由于函子的语法很奇怪，我仍然对它不熟悉，我不知道我问的是否可以用简单的方法解决。

在此先感谢

Answer 1

是的，一个仿函数可以有几个参数。语法如下：

module Make_LOffset 
      (V:Lattice_With_Isotropy.S) 
      (LOffset : Offsetmap.S with type y = V.t and type widen_hint = V.widen_hint) = 
struct 
    … 
end 

然后可以将函子与Make_LOffset(V)(LOffset)一起应用。

在这个例子中，从现有的代码采取以确保它是语法正确，Make_LOffset由两个模块V和参数各自的签名Lattice_With_Isotropy.S和Offsetmap.S的。两个签名之间还有其他类型限制，即with type … and type …部分。