Без заголовка

Как бы сказать -- суперкомпиляуия своидит сложную программу к несколько более простой. Как-бы упрощает текст. Позднее свзязывание уменьшает сложность текстов за счет перененсения выбора из альтернатив на уровень структуры ыпрограммы. Тексты которые раньше были сложными теперь можно записать проще. Но сложность текстов определяется все таки не задачей а способностями человека генерировать сложные тексты. Которые тоже можно упрощать (если можно как-то зафиксировать контекст времени выполнения). Т. е. актуальность суперкомпиляции с наличием позднего связывания слабо связана. Ну и использование структурного аналища для суперкомпиляции развивается тоже (вместо анализа if-ов аналищируем структуру иерархии), но это немного другая история.