> За формализованными доказательствами обращайся к создателям языка и разработчикам компилятора.

меня вполне устроит неформальное доказательство ("на пальцах") при отсутствии формальной семантики языка

и да, я знаю, что и это сложно

> 99.9% сишников и
> пользователей любого другого ЯП тоже не смогут формализовать даже половину правил
> своего любимого языка, при этом им это никак не мешает писать
> хороший код, если верить местным экспертам.

Мешает, но поскольку косяки в семантике либо довольно известны, либо глубоко спрятаны, то как-то че-то писать получается.

Однако если новый язык (раст) постоянно запутывает свою семантику, то смысла на него переходить нет.

> что изменение с точки зрения семантики действительно тривиально.

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

И над ним, я считаю, мне имеет смысл подумать не один час. А по календарному времени, возможно, что и не один месяц.

Анонимус написал об обратной совместимости. Это полезно, и тоже стоит обдумать, но мне кажется, что у правильно спроектированного языка вообще не должно возникать проблем обратной совместимости при его развитии.

>> если это правда, то на языке можно ставить крест
> Такие заявления указывают на инфантильность и импульсивность в мышлении.

ОК, хорошо, крест на языке как конкуренте С++ для тех, кто может выбирать.

Как исследовательский проект и источник идей раст конечно очень интересен.