Без заголовка
Вокруг AST много чего накручивается. Та же инфраструктура плагинов "моделирования" в Eclipse -- это ведь про то же самое.
Тут проблема в терминологии: она не устоялась, поэтому за разными словами нередко скрывается одно и то же. "Модель и метамодель" в программировании означают часто то же, что "текст на языке и описание языка". То же про "байткод" и многое другое.
Мне очень симпатично то, что делают с Ometa в VPRI. Там это как-то очень компактно и органично и полипарадигмально (не побоюсь этого слова ;)