Identificazione di hash come tipo definito dall'utente in OCaml

Question

Desidero essere in grado di definire un tipo (ad esempio my_type) che possa identificare le hashtable con stringhe come chiavi e mappato a valori interi.
Così, ho provato

# type my_type = (string, int) Hashtbl.t;; 

Ma, quando provo

# let a = Hashtbl.create 100;; 
val a : ('_a, '_b) Hashtbl.t = <abstr> 
# Hashtbl.add a "A" 12;; 
- : unit =() 
# a;; 
- : (string, int) Hashtbl.t = <abstr> 

Gli spettacoli ultima linea (string, int) Hashtbl.t = sommario invece di my_type. Come posso assicurarmi che mi dia il tipo di hashtable come my_type?

Answer 1

my_type è solo un sinonimo di (string, int) Hashtbl.t, è possibile utilizzare entrambi in modo intercambiabile.

Si può dire al compilatore che a è di tipo my_type, e ottenere l'output più bello, in questo modo:

# let (a:my_type) = Hashtbl.create 100;; 
val a : my_type = <abstr> 
# a;; 
- : my_type = <abstr> 

Se vi state chiedendo su <abstr>, significa che il livello superiore non sa come stampa a (il suo contenuto, non il suo tipo).

Answer 2

Aggiornamento: mi dispiace, come Gasche sottolinea, è possibile utilizzare un tipo semplice annotazione per farlo, dimenticare il tipo di coercizione

# type my_type = (string, int) Hashtbl.t;; 
type my_type = (string, int) Hashtbl.t 
# let (a : my_type) = Hashtbl.create 100;; 
val a : my_type = <abstr> 

Answer 3

Non ha senso dichiarare Sinonimi di tipo e di aspettarsi al compilatore di usa una delle due espressioni in situazioni precise: dato che sono di uguali tipi, il compilatore userà una delle due e su di essa avrai un minimo controllo.

Se si desidera applicare tipo di astrazione, in modo da non mescolare un tipo my_type con qualsiasi altro (string, int) Hashtbl.t, si dovrebbe definire un nuovo tipo con una marcatura la differenza costruttore:

type my_type = Tbl of (string, int) Hashtbl.t 
let a = Tbl (Hashtbl.create 100) 
let add (Tbl t) k v = Hashtbl.add t k v 

si consiglia questo (e paghi il costo di dover trasformare tutti i valori di my_type in hashtables con pattern matching specifico quando si desidera utilizzare una delle funzioni Hashtbl, oppure si può voler manipolare solo un sinonimo di tipo, ma in quest'ultimo caso non si dovrebbe si aspetta che l'output del compilatore riporti qualsiasi tipo particolare.