On Mon, Aug 26, 2013 at 11:30 AM, Jonathan S. Shapiro <[email protected]>wrote:
> I'm not aware of any work on static metacompilation in such languages. > Can you offer a formal or informal definition for "static metacompilation"? I interpret this to mean "late AOT whole program compile", as opposed to a JIT compile. Which would mean all whole-program compilers are pretty close for some definition of late. Google-Go and Nimrod seem to be headed in this direction, are they not? Google Go provides Python-like duck-typing through static analysis and compilation; and Nimrod provides polymorphic multi-methods by statically compiling a dispatch-tree (which if we squint, is basically the same thing as a JIT-generated polymorphic inline cache). Or did I misinterpret what you meant?
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
