Metaprogrammering

Metaprogrammering er å skrive dataprogrammer som har evnen til å behandle programmer som sine data. Det betyr at et program kan være utformet for å lese, vise, analysere eller transformere andre programmer og til og med endre seg selv mens det kjører. I noen tilfeller kan det redusere antall linjer med kode (dermed redusere utviklingstiden).

Språket som et metaprogram er skrevet i kalles et metaspråk. Språk for programmer som er manipulert kalles objektspråk. Når et programmeringsspråk selv har evnen til å være sitt eget metaspråk kalles dette refleksjon. Refleksjon er et kraftig verktøy i programmeringsspråk som legger til rette for metaprogrammering. I et språk hvor språket selv er en førsteklasses datatype (som i Lisp, Prolog, SNOBOL) er også veldig nyttig, dette er kjent som homoikonisitet. Generisk programmering benytter seg gjerne av en slags metaprogrammeringsfunksjonalitet i de språk som har støtte for det.

Implementeringer

Templatmetaprogrammering 

 «X macros» i programmeringsspråket C
 Templates i programmeringsspråket C++

Makroer 
 Scheme sine hygieniske makroer
 Template Haskell
 MakroML

Referanser 

Programmering