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

На мое частное мнение - это у них прикольно придумано.

> Конечно задачи задачам рознь, но видать я не те задачи решаю.

Вероятно.

> За кучу времени среднекровавенького костыльного энтерпрайза ни разу не понадобились какие-то
> "супер-дупер" сложные компайл-тайм вычисления, которые бы потом еще использовались как
> константы.

Мы про системные яп или энтерпрайз? Энтерпрайз можно и на яве кодить, теперь попробуйте на этом керенл, бутлоадер или фирмварь. И как, офигенно? Если вебмакакятина упадет, что самое плохое будет? Пожурят? Депремируют? А даже упавший кернел уже не прикольно. Еще хуже если управляющая фирмварь упадет, там что угодно может быть. И упавший самолет, и взорвавшееся производство, да даже юзер гироскутера "лишь" разбивший морду будет злой.

> собственную ОС или сервер приложений - понадобится и оценю :)

Сабж сватается как типа-системный, и в этом контексте вон то имеет определенный смысл. Да и даже в апликушном коде нехило бы проверять что допущения удержались. С вон той фичой можно имхо попробовать это все в том же синтаксисе что и остальное.

> А вот тут становится очень интересно. Внешние параметры, которые в программу залетят
> в будущем из внешних источников, проверим при компиляции, а не в рантайме?

Вот именно совсем внешние, типа сети или ADC все же пролетают. Но остальное можно хотя-бы кодить в том же виде что и остальной синтаксис. А не на каком-то левом субдиалекте.

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

Возможность делать assert-like штуки стандартным синтаксисом ЯП с навороченой логикой так то языку не в минус. И для скорости порой полезно. И таки не прикольно когда написано 0x100500 а откуда взялось хрен знает, и можно ли там 0x100400 - а кто его знает? Дескать скачайте программу-генератор этой магии отдельно, очень удобно.