Тогда получается что мета-код это код который опираясь на типы "сложной логикой" может менять свое поведение. И очень зависит от платформы и ее возможностей
Уже становится понятнее, но остаются "шероховатости".
Я к сожалению вынужден уйти оффлайн, но хотелось бы продолжить эту дискуссию
Не очень нравится такое определение. Больше нравится адаптация определения Олега: если мы находим себя пишущими не программу, а генератор программ, значит, занимаемся метапрограммированием.