Как то неубедительно.

> Compile time вычисления. Представь себе крутой и правильный препроцессор... А результат этого можно потом заюзать как константы и проч.

Конечно задачи задачам рознь, но видать я не те задачи решаю. За кучу времени среднекровавенького костыльного энтерпрайза ни разу не понадобились какие-то "супер-дупер" сложные компайл-тайм вычисления, которые бы потом еще использовались как константы. От слова совсем. Только какие-то примитивные константы уровня числа пи или каких-то вкомпиленных ISO-кодов. Не понимаю, почему это с таким пиететом для разных языков как киллер-фичу преподносят. Наверное, если начну писАть какую-нибудь собственную ОС или сервер приложений - понадобится и оценю :)

> Compile time вычисления...Очень удачная придумка так то.
> Более того, так можно в принципе сделать очень годные assert-like конструкции верифицирующие параметры на вход и все такое

А вот тут становится очень интересно. Внешние параметры, которые в программу залетят в будущем из внешних источников, проверим при компиляции, а не в рантайме? Экстрасенсы, шаманство и магия... Может, "Compile time вычисления как константы" отдельно, а "годные assert-like конструкции верифицирующие параметры" - отдельно, без связки слов?