Modules de première classe dans OCaml 3.12: Quels types de choses vont-ils rendre plus facile (ou possible)?

Question

J'ai entendu dire que des "modules de première classe" arrivaient dans OCaml 3.12. Quels avantages vont-ils offrir? Quels enfants de choses seront plus faciles? Quel problème tentent-ils de résoudre? Un exemple simple suffirait.

Answer 1

Ce n'est qu'une des applications possibles, mais les modules de première classe facilitent le codage des types existentiels, avec essentiellement un module contenant un type existentiel et une valeur utilisant ce type). Par exemple, voir Alain Frisch travailler sur les types dynamiques (code tiré de Alain Frisch travail sur 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'idée ici est que « ttype » est une représentation concrète de ce type, un type de données algébrique Int , Float constructors et ainsi de suite, et vous avez ici une valeur, dont le type est caché, mais qui porte une représentation concrète de ce type, que vous pouvez utiliser par exemple pour obtenir une sérialisation/désérialisation plus sûre.

Answer 2

Peut-être un peu en retard, mais le nouveau papier First-class modules: hidden power and tantalizing promises est exactement sur le sujet. C'est un ensemble de recettes/perles autour de modules de première classe, par Oleg Kiselyov (oleg) et Jeremy Yallop (auteur, par exemple, du projet Deriving).