Re: The compilation approach in modern languages

>A less mainstream language is MetaML, which does do runtime code
>generation on partial applcations, if these are typed so the first
>argument has an earlier binding time than the latter. The generated
>code is for a virtual machine, which AFAIK is interpreted. Several
>functional languages running on virtual machines also have support for
>runtime code generation, but this is done explicitly rather than
>implicitly on partial applications. And unlike MetaML, you don't get
>type safety on generated code.


    Also checkout a slightly more "mainstream" alternative to MetaML,
    called MetaOCaml. This language provides support for "multi-stage
    programming"-- the ability to construct, combine, and execute code
    at runtime (where all such future-stage computations are type safe).
    It is built on the popular OCaml system and can be obtained from:
        www.metaocaml.org.

Return to the comp.compilers page.
Search the comp.compilers archives again.