Hi Oleg, I have a question. Have you ever designed at length how to implement a super fast *interpreted* version of metaocaml, or let me put it this way: do you think if that is possible at all? Best, Eray On Sun, Jan 1, 2017 at 6:20 PM, Oleg wrote: > > BER MetaOCaml N104 is a strict superset of OCaml 4.04.0 for ``writing > programs that generate programs''. BER MetaOCaml adds to OCaml the > type of code values (denoting ``program code'', or future-stage > computations), and two basic constructs to build them: > quoting and splicing. The generated code can be printed, stored in a > file -- or compiled and linked-back to the running program, thus > implementing run-time code optimization. A well-typed BER MetaOCaml > program generates only well-scoped and well-typed programs: > The generated code shall compile without type errors. > Staging-annotation-free BER MetaOCaml is identical to > OCaml; BER MetaOCaml can link to any OCaml-compiled library (and > vice versa); findlib and other tools can be used with BER MetaOCaml as > they are, in their binary form. > > BER MetaOCaml N104 comes with one minor and two notable improvements. > The minor improvement is the availability of the native MetaOCaml. If > the generator is compiled in native mode (using metaocamlopt), the > dynamically generated and run code will be natively-compiled as > well. The lack of native mode was the most frequently heard criticism > of MetaOCaml, although in my experience it hardly even > matters. Off-line code specialization seems to be far more prevalent > and useful than online one. Anyway, here we have it. > > The notable new features -- not seen in MetaOCaml (or MetaML, for that > matter) -- are generating pattern-matching expression with the > statically unknown number of clauses, and let-insertion as a > primitive. To wit, |genlet exp| inserts |let freshname = exp in ...| > somewhere in the generated code and returns |..| (unless |exp| > is already syntactically a value such as a variable reference). > The let-statement is inserted at the most appropriate place. > > BER MetaOCaml N104 should be available though OPAM, hopefully soon. > In the meanwhile, it is available as a set of patches to the > OCaml 4.04.0 distribution. > http://okmij.org/ftp/ML/ber-metaocaml-104.tar.gz > See the INSTALL document in that archive. You need the source > distribution of OCaml 4.04.0, see the following URL for details. > > For more explanations, please see > http://okmij.org/ftp/ML/MetaOCaml.html > as well as ChangeLog and NOTES.txt in the BER MetaOCaml distribution. > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Eray Ozkural, PhD. Computer Scientist Founder, Gok Us Sibernetik Ar&Ge Ltd. http://groups.yahoo.com/group/ai-philosophy