代码之家 › 专栏 › 技术社区 › Jack

在OCaml中使用函子作为接口

functor ocaml interface

Jack · 技术社区 · 15 年前

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

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

两种不同的实现 Alg1 和 Alg2 . 这个 Algorithm

现在我需要另一个组件,我们称之为 Executor 这将是使用或通过他们的界面。。

在阅读有关函子的文章时,我似乎需要一个具有 算法 ConcreteExecutor 具体实现了我所需要的算法。以便 遗嘱执行人

我说得对吗?这是获得我所需要的东西的最好方法吗?我想知道TykKGS,因为我来自java/C++背景,所以我习惯使用接口和抽象类,我需要正确地进入这个函数/模块抽象问题。

哪一个是正确的语法来获得我想要的?

提前谢谢

1 回复 | 直到 15 年前

Niki Yoshiuchi 15 年前

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);;

所以在代码中,算法替换OrderedType,Alg1/Alg2替换String,Executor替换Make,ConcreteExecutor是Executor(Alg1/Alg2)的结果。您还将注意到string.mli/ml没有提到OrderedType。String是OrderedType,因为它有一个由compare函数使用的类型t。您不需要显式地说String是OrderedType。

推荐文章

Ray · 测试函数对象(函子)等式,它是如何计算的?我用“is”还是“=”?

8 年前

Paul Spencer · 部分应用函数类型的函子

8 年前

cha · 将函数对象传递给std::function

8 年前

softshipper · fmap的参数太多

8 年前

bird12358 · 模板函子的哈希表

8 年前

qwe · Control.Lens不是多余的吗。要在函数中包装类型的设置程序?

9 年前

Gaurav Sehgal · 函数指针与C中的函子++

9 年前

Stephane Rolland · 快速检查简单函数:是否需要定义任意实例?为什么?怎样

10 年前

nburk · 如何在C++中使用带有自定义排序成员函数的sort()?

11 年前

Sam · std::bind创建的函子在哪里?

11 年前