Наверное, первая статья, где вводится понятие суперкомпилятор (supercompiler).
В начале статьи автор рассуждает о том, как конструируется то, что сейчас называется DSL (проблемно-ориентированный язык).
- Трансляционный подход - пишутся макросы. Это путь лиспа.
- Интерпретационный (по сути) подход. Пишется интерпретатор.
Турчин выбирает 2-й подход. И именно для второго подхода и предназначается суперкомпиляция.
Интересно познакомиться с "суперкомпиляцией" для первого подхода. - Наверное, в мире лиспа такого много.
Понравилось то, что в данной статье практически нет Рефала.
Интересно упоминание Турчина, что на тогдашний момент времени отладчик Рефала был самым удобным в использование (в сравнении с другими системами).
Понравился термин semi-compiler. Можно идти дальше: super-semi-compiler, semi-super-compiler :)
Интересны ссылки [13, 14, 15] - про реальное использование Рефала.
Турчин считает, что нужно суперкомпилировать только уже полностью отлаженную программу.
а можно еще раз выложить эту статью или прислать ее на alexott at gmail.com? спасибо
ReplyDelete