Static languages lack this ability cough MetaOCaml [1] cough cough first-class modules in OCaml [2] cough explanation -- MetaOCaml provides what is essential

Static languages lack this ability cough MetaOCaml [1] cough cough first-class modules in OCaml [2] cough explanation -- MetaOCaml provides what is essentially a typed eval for Objective Caml. OCaml's first-class modules provide the ability to construct types, classes, and modules at run time. In other words, statically typed languages do have this ability. [1] http://www.metaocaml.org/ http://www.metaocaml.org/ [2] http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual021.html#toc81 http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual021.ht...