> За формализованными доказательствами обращайся к создателям языка и разработчикам компилятора. меня вполне устроит неформальное доказательство ("на пальцах") при отсутствии формальной семантики языка
и да, я знаю, что и это сложно
> 99.9% сишников и
> пользователей любого другого ЯП тоже не смогут формализовать даже половину правил
> своего любимого языка, при этом им это никак не мешает писать
> хороший код, если верить местным экспертам.
Мешает, но поскольку косяки в семантике либо довольно известны, либо глубоко спрятаны, то как-то че-то писать получается.
Однако если новый язык (раст) постоянно запутывает свою семантику, то смысла на него переходить нет.
> что изменение с точки зрения семантики действительно тривиально.
Это изменение действительно выглядит крайне естественно (и да, тривиально) с точки зрения пользователя данного конкретного частного случая. А как оно будет выглядеть с точки зрения пользователей других частных случаев, причем не только в текущей версии языка, но и во всех последующих его версиях? Вот правильный вопрос.
И над ним, я считаю, мне имеет смысл подумать не один час. А по календарному времени, возможно, что и не один месяц.
Анонимус написал об обратной совместимости. Это полезно, и тоже стоит обдумать, но мне кажется, что у правильно спроектированного языка вообще не должно возникать проблем обратной совместимости при его развитии.
>> если это правда, то на языке можно ставить крест
> Такие заявления указывают на инфантильность и импульсивность в мышлении.
ОК, хорошо, крест на языке как конкуренте С++ для тех, кто может выбирать.
Как исследовательский проект и источник идей раст конечно очень интересен.