MacroML is a historical programming language created in 2001. 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.. Read more on Wikipedia...
- MacroML ranks in the top 50% of languages
- the MacroML wikipedia page
- MacroML first appeared in 2001
- See also: scheme
- I have 17 facts about MacroML. what would you like to know? email me and let me know how I can help.
Last updated July 22nd, 2019