Meta Programming

Staged Meta Programming

Staged languages distinguish stages of execution. Many compile-time meta-programming systems distinguish only a run-time and a compile-time. MetaML does not restrict the number of stages.

• MetaML

Template Meta Programming

• Template Haskell
• C++ Templates

Macro Systems

Macros generate code. Macro systems that operate at the lexical level are usually called lexical macros. Lexical macro systems are often independent of specific programming language. Macro system that operate on a structured representations of source code are called syntax macros. Macro systems mainly vary in the what the macro is able to do with macro arguments and how the macros are to be invoked. Some macro systems allow the definition of a context-free syntax for the arguments of the macro. Hygience macro systems avoid unintended capturing of identifiers that are used in the context or in the macro definition.

• Lisp Macros
• Scheme R5RS Macros
• Syntax macros in Bigwig
• Maya

Aspect-Oriented Programming

• AspectJ
• AspectL

Quotation and Antiquotation

• Camlp4
• SML/NJ Object Language Embedding with Quote/Antiquote
• Isabelle's Logics
• Programmable Syntax Macros
• Meta Programming with Concrete Object Syntax

Systems

• GRAMPS