OCaml 3.12'deki birinci sınıf modüller: Ne tür şeyler kolaylaştıracak (veya mümkün)?

Question

"Birinci sınıf modüller" in OCaml 3.12'de geldiğini duydum. Hangi avantajları sunacaklar? Hangi çocukların çocukları daha kolay olacak? Hangi sorunu çözmeye çalışıyorlar? Basit bir örnek yeterlidir.

Answer 1

Yalnızca bir olası uygulama var, ancak birinci sınıf modüller, temel olarak varolan bir türü ve bu türü kullanan bir değeri paketleyen bir modülle, varolan türleri kodlamayı kolaylaştırır). Örneğin, Alain Frisch (dyntypes üzerinde çalışmak Alain Frisch alınan kod: http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/branches/dyntypes/stdlib/dyntypes.ml?view=markup) Dinamik türleri üzerinde çalışmak görün

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) 

burada fikir "ttype" bu tür somut temsili, Int ile cebirsel veri türü olmasıdır , Float kurucuları ve benzerleri, ve burada, türü gizlenmiş, ancak bu türden somut bir temsili taşıyan, örneğin daha güvenli bir serileştirme/serileştirme elde etmek için kullanabileceğiniz bir değere sahipsiniz.

Answer 2

Belki biraz geç, ama yeni kağıt First-class modules: hidden power and tantalizing promises tamamen konuyla ilgili. Bu birinci sınıf modüller etrafında bir yemek tarifleri/inciler seti, Oleg Kiselyov (oleg) ve Jeremy Yallop (yazar, örneğin, Deriving projesinin).