http://en.wikipedia.org/wiki/Metaprogramming_(programming)

Ду ю спик рашен?

А по-русски?

Если вообщем, то это программы, или части программы, котороые генерируют программы, [ которые генерируют программы, которые генерируют программы.....]:)

Например шаблоны в C++ и макры в Lisp, там по ссылке есть пример на bash'e.

Или yacc... Да?

Прошу прощения за тупой вопрос, а PHP - ето тоже метапрограммирование? Ну т.е. он генерит HTML-код.

HTML - не язык программирования :/

Еще тупой вопрос: а если с помощью РНР генерить РНР ? ;)

Я бы добавил бы к "генерируют" еще " и анализируют"

Да, программа на PHP может генерить код на PHP, и тут же его исполнять. То же самое можно делать и в Tcl, и в JavaScript. С этой точки зрения они все являются метаязыками. Только от этого не легче - как были они тормозами, так и останутся. Метапрограммирование должно не в рантайме, а во время компиляции работать - как в C++ или Common Lisp.

Однако, язык шаблонов в C++ довольно ущербен, так что остаётся Common Lisp :)

чем это он ущербен?

> чем это он ущербен?

Ну, для примера, напиши шаблон(ы), который по аналитической функции в виде выражения, содержащего определённые заранее операции (например, +, -, *, /, exp, sin, cos ) генерит код, вычисляющий производную этой функции. Не численным дифференцированием, а аналитически.

Или, скажем, аналог описанного в главе 24 OnLisp (http://www.paulgraham.com/onlisptext.html).