метапрограммирование

Теоретико-категорный подход к метапрограммированию. книга. Автор: Ковалёв С.П.
препринт
http://ccfit.nsu.ru/~kovalyov/publications/formal-tech-preprint.pdf

хехе, во оказывается, что есть )
посмотрим, что там )

Ковалев Сергей Протасович
доктор физико-математических наук (2014)
http://www.mathnet.ru/rus/person28913

понятно )