Цитата:
Сообщение от george
По мета-языку... задача создания именно промежуточного языка не ставится. Тут задача - использовать некоторый язык для того, чтобы помочь преобразованию информационного графа (по сути, связей по данным в лямбда-исчислении) в управляющий императивный граф для конкретной архитектуры. Хотя такую трансляцию можно осуществить и через промежуточный язык; возможно, мы к этому и придем  |
Может вы к этому придете, но идея в том что это уже давно есть (в конце 90-х когда я этой темой интересовался уже книжки были, правда тогда только на английском. "Ахо-Ульман" (она же "книга с драконом") точно уже был, вроде сейчас уже давно есть он на русском).
Поэтому фирмы выпускающие пакеты для программирования часто выпускают компиляторы для нескольких языков программирования. Потому что задача оптимизации кода и автоматического нахождения логических ошибок в коде решается
один раз для мета-языка. А потом просто дописываются трансляторы из языка высокого уровня в мета-язык и трансляторы из мета-языка в архитектурно-зависимый машинный код.
Вообще крайне рекомендую ознакомиться с "книгой с драконом" чтобы не изобретать велосипед и заниматься действительно новым.
Сейчас ссылку вам поищу
Добавлено через 45 секунд
Нашел:
http://www.ozon.ru/context/detail/id/146264/