=== У статичкомстатички куцаномтипизираном функционалном језику ===
* Употреба [[ЗависнеСистем врстезависних типова|система зависних врстатипова]] омогућава доказивање да генерисан код никада није исправан.<ref>{{Cite journal|last = Chlipala|first = Adam|title = Ur: statically-typed metaprogramming with type-level record computation|journal = ACM SIGPLAN Notices|date = 2010|volume = 45|series = PLDI '10|issue = 6|doi = 10.1145/1809028.1806612|url = http://adam.chlipala.net/papers/UrPLDI10/UrPLDI10.pdf|accessdate = 29. 8. 2012|pages=122–133}}</ref>
=== Шаблон метапрограмирања ===
* C препроцесорски макрои (<code>#define</code>)
* C "X Macros"
* C++ шаблони (функционалности попут <code>template</code> и <code>constexpr</code>)
* C++ шаблон
=== Приређено метапрограмирање ===
Ред 29:
==== IBM/360 асемблер ====
IBM / 360 и деривати имали су моћне [[Асемблер|монтер]] макро објекте који су се често користили за генерисање комплетних програма или делове програма (за различите оперативне системе на пример). Макрои су опремљени са ЦИЦС системом за обраду трансакција који има монтер макроа који генерише ЦОБОЛ[[COBOL]] изјаве као корак унапред за прераду.
