Estendere Mappe OCaml per formattabili Maps

Question

ho fatto un funtore per i set formato-grado, come segue:

module type POrderedType = 
    sig 
    type t 
    val compare : t -> t -> int 
    val format : Format.formatter -> t -> unit 
    end 

module type SET = 
    sig 
    include Set.S 
    val format : Format.formatter -> t -> unit 
    end 

module MakeSet (P : POrderedType) : SET with type elt = P.t 

L'attuazione di questo è semplice:

module MakeSet (P : OrderedType) = 
    struct 
    include Set.Make(P) 

    let format ff s = 
     let rec format' ff = function 
     | [] ->() 
     | [v] -> Format.fprintf ff "%a" format v 
     | v::tl -> Format.fprintf ff "%a,@ %a" format v format' tl in 
     Format.fprintf ff "@[<4>%a@]" format' (elements s) 
    end 

ho voluto fare qualcosa di simile con mappe. POrderedType va bene per le chiavi, ma ho bisogno di un tipo più semplice per i valori:

module type Printable = 
    sig 
    type t 
    val format : Format.formatter -> t -> unit 
    end 

Poi ho voluto fare qualcosa di simile a quello che avevo fatto per i set, ma mi imbatto nel seguente problema. I valori Map.S hanno il tipo +'a t. Non riesco a capire un modo per includere la definizione Map.S vincolando allo 'a come a Printable.t. Quello che voglio è qualcosa di simile alla seguente (ignorando il fatto che è illegale):

module MakeMap (Pkey : POrderedType) (Pval : Printable) : 
    MAP with type key = Pkey.t and type 'a t = 'a t constraint 'a = Pval.t 

Esiste un modo per fare quello che voglio senza copiare l'intero firma di Map a mano?

Answer 1

Penso che il modo più pulito per proporre una funzione di stampa per mappe polimorfiche sia quello di rendere parametrica la funzione di stampa della mappa rispetto alla funzione di stampa dei valori. Si può pensare in questo modo:

• tipi funtore definiti sono definiti a livello di funtore, in modo da fornire funzioni per loro è meglio farlo con l'aggiunta di nuovi parametri funtore (o arricchire quelli esistenti)

• tipi parametrici sono legati (generalizzato) a livello di valore, in modo da fornire funzioni per loro è meglio farlo con l'aggiunta di nuovi parametri al valore

In OCaml, convenienza tendono a rendere le persone favorire il polimorfismo parametrico oltre functorization quando possi ble. Talvolta è necessario eseguire la Functionalization per rinforzare la sicurezza di alcuni tipi (qui è usato per assicurarsi che le mappe per le diverse funzioni di confronto abbiano tipi incompatibili), ma altrimenti le persone preferiscono provare il polimorfismo. Quindi in realtà sei nella situazione fortunata qui.

Se si vuole davvero un funtore che produca mappe monomorfiche, beh, temo che dovrai copiare l'intera interfaccia della mappa e adattarla nel caso momonorologico: non è molto lavoro.