module - 是否有一种简洁/内联的方式来创建 Set 值而不显式命名它们的类型？

Question

在大多数具有参数/泛型类型的语言中，您可以编写一个(类型)表达式来表示“某物的集合”。例如。 Set<Integer>在 Java 中。

类似地，在 OCaml 中，我们有类似列表的东西 int list .

不过int set好像没法说在 OCaml 中。 (或者也许我只是还没有找到/弄清楚如何)。

没有“通用集”类型。相反，有一个 Set包含一个名为 Make 的“仿函数”的模块您将其传入另一个模块，其中包含“有序”类型的定义。

所以我们必须做类似的事情:

module IntSet = Set.Make(Int)
let numbers : IntSet.empty

因此我们声明了一个模块IntSet其中包含对 int 的集合进行操作的函数.它还包含一个类型 IntSet.t这基本上相当于 Set<Int>在 Java 中。

这在某种程度上是有道理的。但有点烦人的是，这迫使我们为要在程序中使用的每种类型的 Set 选择显式名称，并在某个地方显式定义它(IntSet、StringSet、FloatSet 等)。

有没有办法避免这种情况？也许一些类似于 Java 的内联/匿名/简洁方式 Set<...>构建 IntSet本地模块而不给它一个名字？

我尝试过类似的方法，但它不起作用。

let numbers = Set.Make(Int).empty
(*            ^^^^^^^^ unbound constructor Set.Make *)

奇怪的是，这种符号似乎在 .mli 中起作用。文件声明仅限类型:

val numbers : Set.Make(Int).t

这给了它应该成为可能的希望。

Answer 1

重要的一点是不可能只从一个类型构建一个集合(具有 ln(n) 查询复杂性)。集合由类型 和 对此类型的比较函数定义。例如，Java 的 TreeSet<T>仅对实现比较器接口(interface)的类型 T 有效，或者如果构造函数被赋予比较器函数则有效。

OCaml 基于仿函数的集合使这种关系在类型级别变得明显可见。例如，我可以为 float 定义一个集合和温度作为 float (温度之间的物理正确比较)

module Float_set = Set.Make(Float)
module Temperature = struct
  type t = float
  let compare x y = match x > 0, y > 0 with
  | true, false -> -1 (* negative temperatures are hotter than positive ones *) 
  | false, true -> 1
  | false, false -> Stdlib.compare x y
  | true, true -> Stdlib.compare y x
end
module Temperature_set = Set.Make(Temperature)

和类型 Temperature_set.t和 Float_set.t将是不同的和不兼容的，即使两个集合的元素都是 float 的。