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

edit

Some papers related to MacroML include:


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by adding missing information.

📚 Artikel Terkait di Wikipedia

Metaprogramming

Lisp, most dialects Clojure Common Lisp Racket Scheme hygienic macros MacroML Template Haskell Scala Nim Rust Haxe Julia Elixir The IBM/360 and derivatives

Macro (computer science)

TeX and its derivatives, where most functionality is based on macros. MacroML is an experimental system that seeks to reconcile static typing and macro