Mappa OCaml di chiavi int: dove è il modulo int '' semplice 'da utilizzare con il functor Map.Make?

Question

Ho bisogno di una mappa OCaml con le chiavi del tipo int così sto usando Map.Make per crearne uno. Tuttavia, sembra che l'standard modules 'unica' forniscono moduli come Big_int, Int32, Int64 e nativeint che richiedono conversioni. Quindi devo fare le cose come:

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

... che avrei preferito evitare o definire la mia sciocca modulo Int non trattare con semplici int letterali o valori senza la necessità di funzioni di conversione:

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

Mi manca qualcosa di ovvio qui?

Answer 1

Il modo più semplice per avere una mappa int è quello di effettuare le seguenti operazioni:

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

Answer 2

Non penso che manchi qualcosa, non esiste un modulo standard per questo. Credo che il modulo BatInt di OCaml Batteries Included fa quello che vuoi.

(A cura di aggiungere: è vero, io stesso utilizzare il metodo suggerito da Thomas!)

Answer 3

È possibile costruire IntMapwith a one-liner. Se non ti dispiace usare librerie di terze parti, Jean-Christophe Filliâtre's Patricia tree library (Ptmap) è un po 'più efficiente (e allo stesso modo Ptset per set di interi OCaml).