1

OCaml 语言的核心库带有非常有用的 Map 和 Table 模块。如果我想使用某个内置类型的映射，我知道如何定义自己的类型：

type mytype = int String.Map.t (* A mapping from strings to integers *)

我也知道如何使用多态比较定义自定义地图：

type mytype = (string, string) Map.Poly.t (* A map from strings to strings *)

我不知道如何使用从我自己的类型到我自己的类型的非多态比较来定义自定义映射。例如，假设我有

type row_t = Row of int
type column_t = Column of int
(* I want a map from rows to columns *)
type mymap_t = (row_t, column_t, ???) Map.t

我知道第三个参数应该是比较器，但我不知道在里面放什么：两者都Int.comparator没有Int.comparator_witness给出想要的结果。

4

1 回答 1

1

您可以参考 Ashish 提到的博文。

但是，在使用 Core 时，我通常更喜欢更“自动”的方式来为自定义结构生成 Maps 和 Sets（感谢 Core 语法扩展）。

这是一个小例子：

module T = struct
  type t = Row of int
  with sexp, compare
end
include T
include Comparable.Make(T)

所以这将生成您通常需要的所有比较函数（和其他有用的函数）和基本数据结构：

type t = T.t = Row of int
...
val (>) : T.t -> T.t -> bool = <fun>    (* compare functions *)
val (<) : T.t -> T.t -> bool = <fun>
val equal : T.t -> T.t -> bool = <fun>
val compare : T.t -> T.t -> int = <fun>
val min : T.t -> T.t -> T.t = <fun>
val max : T.t -> T.t -> T.t = <fun>
...
module Map :  (* non-polymorphic Map module *)
...
end
module Set :  (* non-polymorphic Set module *)
...
end

还有更多。所以基本上你可以在之后使用非多态映射：

type column_t = Column of int
let map = Map.singleton (Row 1) (Column 2)
于 2014-02-14T15:51:46.543 回答