> -- budden писал(а):
> Статическая параметризация тоже имеет свою цену.Надёжность - вполне приемлемая цена.
> -- budden писал(а):
> Но параметризовать  (динамически ли, статически ли) то, что можно зафиксировать на этапе проектирования - идея не супер.Ну - вот тебе и - "здрасьте-приехали"! КОД ПРОГРАММЫ и есть тот самый формализм, который, вроде как, должен позволять фиксировать ПРОЕКТНЫЕ РЕШЕНИЯ. А за счёт формальностей, мы сможем эти решения проверить на этапе компиляции. И/или управлять ими.
> -- budden писал(а):
> Насчёт генерации метапрограммами - это может выглядеть так, что генерируется только спецификация, а сам код пишется руками. Такое вот ручное метапрограммирование, оно же "путь Оберона".А что такое "генерация метапрограммами"? Что имеется в виду? "с помощью" или "в виде"?