> C в этом смысле совершенно кошмарный язык, потому что для качественной оптимизации
> требуется превращать язык в один сплошной UB.

В стандарте таки есть некоторые дурацкости. Но вот это все же преувеличение. Да и у хипстеров подпертых жирнокорпами лекарства обычно получаются хуже болезни. Завязываться на репо которым M$ и прочие амазоны рулят - UB гораздо более высокого порядка.

> И даже несмотря на это, всё равно приходится в рантайме выполнять работу,
> которую вполне можно сделать в compile-time.

А вот это, пардон муа, уже вообще совсем неправда. Если подружиться с оптимизатором и сделать ему удобно, gcc, особенно с LTO - делает удивительно крутой код. Так что даже и на голом ассемблере не факт что так же круто напишешь - он, видите ли, злобно реюзает вон ту константу загруженную в регистры пару кило назад, танцуя от нее везде. Сам на асме трекать usage в таком количестве человек таки задолбается.

И все это как таковое - ортогонально UB и прочему. Да, у раста есть некоторые здравые идеи, но ориентация на полупроприетарный llvm и захват централизованного управления пакетами узкой группой корпов может это быстро и жестко аннулировать. А какие-нибудь политически-корректные трансфемки однажды могут начать резко и больно строить девов, угрожая а то и выкидывая пакеты.