- MacroML
MacroML is an experimental
programming language based on the ML programming language family that seeks to reconcile ML'sstatic typing systems, and the types of macro systems more commonly found indynamically typed languages like Scheme; this reconciliation is difficult as macro transformations are typicallyTuring-complete and so can break thetype safety guarantees static typing is supposed to provide.External links
Some papers related to MacroML include:
* [http://citeseer.ist.psu.edu/440438.html "Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML"] (citeseer )
* [http://citeseer.ist.psu.edu/643840.html Staged Notational Definitions] (citeseer)
Wikimedia Foundation. 2010.