Moduli di prima classe in OCaml 3.12: Che tipo di cose saranno più facili (o possibili)?

Question

Ho sentito che "i moduli di prima classe" sono in arrivo in OCaml 3.12. Quali vantaggi offriranno? Quali figli delle cose saranno più facili? Che problema stanno cercando di risolvere? Un semplice esempio sarebbe sufficiente.

Answer 1

È solo una delle possibili applicazioni, ma i moduli di prima classe semplificano la codifica di tipi esistenziali, in pratica un modulo che include un tipo esistenziale e un valore che utilizza questo tipo). Ad esempio, vedere Alain Frisch funziona su tipi dinamici (codice preso da Alain Frisch lavorare su dyntypes: http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/branches/dyntypes/stdlib/dyntypes.ml?view=markup)

module type DYN = sig 
    type t 
    val x: t 
    val t: t ttype 
end 

type dyn = (module DYN) 

let dyn (type s) t x = 
    let module M = struct 
    type t = s 
    let x = x 
    let t = t 
    end 
    in 
    (module M : DYN) 

L'idea qui è che "ttype" è una rappresentazione concreta di quel tipo, un tipo di dati algebrica con Int , Costruttori Float e così via, e tu hai qui un valore, il cui tipo è nascosto, ma che porta una rappresentazione concreta di quel tipo, che puoi usare ad esempio per ottenere una serializzazione/deserializzazione più sicura.

Answer 2

Forse un po 'in ritardo, ma il nuovo documento First-class modules: hidden power and tantalizing promises è esattamente sull'argomento. È un insieme di ricette/perle attorno ai moduli di prima classe, di Oleg Kiselyov (oleg) e Jeremy Yallop (autore, ad esempio, del progetto Deriving).