meta programming

Meta programming is the capability of a programming language to generate code at compile time. Examples of systems enabling meta programming are:

• Lambda Star from A Meta Lambda Calculus with Cross-Level Computation
• Lisp variants
• Template Haskell
• MetaOCaml
• rust hygienic macros
• rust procedural macros
• zig compile time evaluation
• D compile time evaluation
• jai compile time evaluation
• Agda Reflection
• Idris Elaborator Reflection