> -- Валерий Лаптев писал(а):
> Я еще в 86 году восхитился...
В этом-то и фишка, что в 86-м...
А сегодня - 2010-й. И кроме Рефала (причем 5-го, мне 6-й или плюс - больше бы подошли в виду ссылочной технологии), как-то ничего и не видно.
Может еще лет 30 подождать надо
Или, может быть, мы все не тем занимаемся, чем надо
Типа: лучше день потерять, зато потом за 5 минут долететь.........

Да вот, хотел бы отметить, что супер-компиляция - это несколько больше, чем просто специализация... Мне так кажется.
Ну, грубо говоря, вторая проекция Футамуры через "специализацию" - делает компиляторы. Того качества, которое мы сегодня имеем в многочисленных примерах.
А через "суперкомпилятор" - уже суперкомпиляторы. Да, да, такие компиляторы, которые сами из НКА делают ДКА, а при поиске в строке конкретной подстроки - "предкомпилируют" вторую ((опять же - сами!))

Хотя, условно все это, до какой-то степени... Например, всегда есть возможность дать определение специализатору (в качестве соревнования в словоблудии), как суперкомпилятору, но на более узком классе задач