Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

MacroML

< >

MacroML is a programming language created in 2001.

#2624on PLDB 23Years Old
Wikipedia

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...


- Build the next great programming language Add Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v161.0.4