在大多数具有参数/泛型类型的语言中,您可以编写一个(类型)表达式来表示“某物的集合”。例如。 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
这给了它应该成为可能的希望。
最佳答案
重要的一点是不可能只从一个类型构建一个集合(具有 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 的。
https://stackoverflow.com/questions/72180298/