La metaprogramación consiste en escribir programas que escriben o manipulan otros programas (o a sí mismos) como datos, o que hacen en tiempo de compilación parte del trabajo que, de otra forma, se haría en tiempo de ejecución.
Esto permite al programador ahorrar tiempo en la producción de código.
Un ejemplo sencillo de un metaprograma sería este script de Bash: Este script genera un nuevo programa que imprime por pantalla los números 1 a 992.
La herramienta de metaprogramación más común es el compilador, el cual permite al programador escribir un programa relativamente corto en un lenguaje de alto nivel para, posteriormente, escribir un programa equivalente en lenguaje ensamblador o lenguaje máquina.
Otro ejemplo bastante común de metaprogramación se puede encontrar en el uso de Lex (véase también: Flex) y Yacc (véase también: bison), que son usados para generar compiladores e intérpretes.