Question

我需要一个包含以下几类钥匙的OCaml地图:int,因此,我正在使用Map.Make制作。然而,标准模块仅提供以下模块:Big_int,,Int32,Int64>和Nativeint,要求转换。因此,我必须做如下事情:

module IntMap = Map.Make(Int32) 
let a_map = IntMap.add (Int32.of_int 0) "zero" IntMap.empty ;;

......我会避免或界定我自己sil的Int模块确实涉及简单的int<>/em>字面或数值,而不需要转换功能:

module Int = struct type t = int let compare x y = if x < y then -1 else if x > y then 1 else 0 end ;; module IntMap = Map.Make(Int) let a_map = IntMap.add 0 "zero" IntMap.empty ;;

我在这里没有明显的东西?

Answer 1

绘制地图的最简单方式是:

module IntMap = Map.Make(struct type t = int let compare = compare end)

Answer 2

I dont think you re missing anything, there s no standard module for this. I believe the BatInt module of OCaml Batteries Included does what you want.

(为了补充:这是事实,我自己使用托马斯所建议的方法!)

Answer 3

http://stackoverflow.com/a/10132568“>,有一个条目。如果你不使用第三方图书馆,Jean-Christophe Filliâtre s Patricia 树图书馆 (Ptmap)效率不大(和Ptset,用于套OCaml integers)。

Answer 4

如果您使用<条码>集装箱封存器<>编码>(我想这是自先前的答复撰写以来更为常见的),你可以方便地利用集装箱排入模块以及CCMap模块来做到这一点,例如:

module ByInt = CCMap.Make(CCInt)

Answer 5

如OCaml 4.08(2019年6月印发)所示,标准图书馆包括:Int ,满足了这一需要。

友情链接