> -- Илья Ермаков писал(а):
> Те инварианты, которые можно проверить статически, тривиальны.Разница между статикой и динамикой - это разница между полной разрешимостью и частичной (знаём всё множество интересующих нас вещей; или всего лишь имеем возможность относительно каждого конкретного объектов  - конкретного хода выполнения - проверить его принадлежность к множеству).Разница фундаментальная, и хоть убей себя ап стену  Ну дык программёрам закон не писан.
Ну почему же не писан.
Просто о разных вещах говорится. Влад, как я понял, намекает на то, что нужно максимально применять что-то вроде шаблонов - для вычислений на этапе компиляции.
Смотрим на Ершова и его смешанные вычисления. Статика - это как раз подстановка максимально возможного количества известных параметров. А все, что осталось - это и есть исполняемая программа.
Ну, и ИМХО, "всего лишь имеем возможность проверить... принадлежность множеству" - это и есть РЕАЛЬНЫЕ задачи. Ибо множества, как правило либо бесконечные, либо очень большие...