MacroML
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 dynamically 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.
External links
Some papers related to MacroML include:
- "Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML" (citeseer)
- Staged Notational Definitions (citeseer)
This article is issued from Wikipedia - version of the Thursday, September 26, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.