在 OCaml 中使用函子作为接口

Question

我正在 OCaml 中开发一些算法，这些算法需要某些部分是“可插入的”，以便部分计算留给特定的计算机。

举个例子，假设我有一个像这样的签名：

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

以及两个不同的实现，即 Alg1 和 Alg2。这个Algorithm模块应该代表像这两个这样的各种实现的接口。

现在我需要另一个组件，我们将其称为 Executor ，它将是通过其接口使用 Alg1 或 Alg2 的模块。

阅读有关函子的内容似乎我应该需要一个函子，它采用 Algorithm 并生成一个 ConcreteExecutor ，其中包含我需要的算法的特定实现。因此，Executor 是一种在其组件上进行参数化的模块。

我说得对吗？这是获得我需要的东西的最佳方式吗？我想知道这样的想法，因为我来自 Java/C++ 背景，所以我习惯使用接口和抽象类，并且我需要以正确的方式解决这个函子/模块抽象问题。

哪种语法是获得我想要的内容的正确语法？

提前致谢

Answer 1

是的，听起来函子就是你想要的。事实上，你可以看看标准库是如何使用函子的，因为源代码是可用的。在我的机器上，它位于 /usr/lib/ocaml/3.10.2/ 。例如，set.mli 包含以下内容：

module type OrderedType =
  sig
    type t
    val compare : t -> t -> int
  end

module type S
  sig
    ...
  end

module Make (Ord : OrderedType) : S with type elt = Ord.t

当您想在 OCaml 中使用集合时，您可以这样做：

module SSet = Set.Make(String);;

因此，在您的代码中，Algorithm 替换 OrderedType，Alg1/Alg2 替换 String，Executor 替换 Make，ConcreteExecutor 是 Executor( 的结果)阿尔格1/阿尔格2)。您还会注意到 string.mli/ml 不包含任何有关 OrderedType 的提及。 String 是一个 OrderedType，因为它具有由函数比较使用的类型 t。您不需要明确说明 String 是 OrderedType。