Jump to content

MacroML

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Marudubshinki (talk | contribs) at 04:14, 3 June 2006 (fmt; tag; add a little bit in comparison and why this is difficult). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

MacroML is an experimental programming language based on the ML programming language family that seeks to reconcile ML's static typing systems, and the types of macro systems more commonly found in dynamicly typed languages like Scheme; this reconciliation is difficult as macro transformations are typically Turing-complete and so can break the type safety guarantees static typing is supposed to provide.

Some papers related to MacroML include:

Retrieved from "https://en.wikipedia.org/w/index.php?title=MacroML&oldid=56614111"