https://www.opennet.me/openforum/vsluhforumID3/125612.html Опубликован релиз языка системного программирования Rust 1.56, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческой организации Rust Foundation. Кроме штатного номера версии выпуск также обозначен как Rust 2021 и знаменует собой стабилизацию изменений, предложенных за последние три года. Rust 2021 также выступит основой для наращивания функциональности в последующие три года, по аналогии с тем, как выпуск Rust 2018 стал базисом для развития языка в прошедшие три года...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=56011<br> https://www.opennet.me/openforum/vsluhforumID3/125612.html#324 Fri, 29 Oct 2021 02:06:03 GMT &gt; Где создание и работа с графами без unsafe?<br><br>А где пример, как теоретически возможно в статике (без GC) проанализировать, когда надо освобождать память от графовых структур?<br> https://www.opennet.me/openforum/vsluhforumID3/125612.html#323 Tue, 26 Oct 2021 20:43:20 GMT "Напомним, что язык Xxxx сфокусирован на безопасной...." это как в рекламе использую методы из психологии. Если часто вдалбливать одно и тоже, то идея становится узнаваемой, ну а всякого рода быдла принимают ее.<br> https://www.opennet.me/openforum/vsluhforumID3/125612.html#322 Tue, 26 Oct 2021 07:44:01 GMT &gt; меня вполне устроит неформальное доказательство ("на пальцах") при отсутствии формальной <br>&gt; семантики языка <br><br>Для этого достаточно открыть документацию по владению и лайфтаймам. Вкратце, раньше было так:<br><br>struct X {<br> a: i32,<br> b: i32,<br>}<br><br>let x = X { a: 0, b: 0 };<br>let f = &#124;&#124; x.a + 1;<br>// Это не скомпилируется в версиях ниже 1.56, потому что x целиком захвачен по ссылке в f<br>let g = &#124;&#124; x.b + 1;<br><br>Теперь g тоже скомпилируется, т.к. в f захватится только то, что нужно - x.a, а в g - x.b<br>Напомню, что "захватить" (взять ссылку на) часть структуры можно было и раньше:<br><br>let xa = &x.a;<br>let xb = &x.b;<br><br>Более того, можно даже одно поле захватить, а другое переместить:<br><br>let xa = &x.a;<br>some_function(x.b);<br><br>И всё работает прекрасно, т.к. компилятор отслеживает "траекторию владения" данных. Компилятору с самого начала ничего в семантике языка не мешало делать как в 1.56, просто кто-то должен был написать этот код. Вот и написали.<br><br>&gt; Это изменение действительно выглядит край https://www.opennet.me/openforum/vsluhforumID3/125612.html#321 Tue, 26 Oct 2021 02:18:22 GMT &gt; INTO в режиме x86-64 "invalid", замены - нема. <br><br>чё, правда что ли?<br><br>&gt; Так что "4 исключения на 1 000 000 000 проверок".<br><br>Да, по прежнему 4, даже если и invalid.<br><br>&gt; Ну и других факторов (анализ кода/code-flow/верификация) из-за которых отказываются от <br>&gt; ислючений, хватает - "гладко было на бумаге, но ...".<br><br>Я же говорил про кривой дизайн плюсов, которого можно было был избежать в расте при наличии головного мозга у его дизайнеров (а не только головы). Но ты можешь перечислить факторы.<br><br> https://www.opennet.me/openforum/vsluhforumID3/125612.html#320 Tue, 26 Oct 2021 01:22:08 GMT &gt; 4 исключения на 1 000 000 000 чисел -- это же не такой большой оверхед, правда?<br>&gt; И ещё один важный момент. Не знаю как щас у х86, но <br>&gt; исключение по переполнению целых чисел можно кидать асинхронно на уровне процессора, <br>&gt; а не тупо синхронно проверять флаг после каждого сложения. Итаниум кажется <br>&gt; так делает, подозреваю что и х86.<br><br>INTO в режиме x86-64 "invalid", замены - нема. Так что "4 исключения на 1 000 000 000 проверок".<br> <br>Ну и других факторов (анализ кода/code-flow/верификация) из-за которых отказываются от ислючений, хватает - "гладко было на бумаге, но ...". <br><br> https://www.opennet.me/openforum/vsluhforumID3/125612.html#319 Tue, 26 Oct 2021 00:10:51 GMT &gt; плюсистов (которые обычно как раз и <br>&gt; представляют себе все "прелести" и оверхед исключений в системном программинге)<br><br>Это кривой дизайн с++, а не исключений вообще. <br> https://www.opennet.me/openforum/vsluhforumID3/125612.html#318 Tue, 26 Oct 2021 00:07:32 GMT &gt; и так же скромно пропустив тему "почему исключения лучше явной <br>&gt; обработки ошибок (и паники в случае забивания на обработку)".<br><br>Исключения не лучше, они другие. Они нужны даже и в том случае, когда имеется явная обработка ошибок, даже и такая общепризнанная, как в расте.<br><br>И примером как раз является случай, когда надо сложить (а ещё возможно и умножить) много чисел. А в случае переполнения кинуть эксепшен и перескочить на другую ветвь кода, где вычисления пойдут, допустим, с двойной точностью. Затем с четверной. Затем, допустим, с восьмерной, а затем и с неограниченной.<br><br>4 исключения на 1 000 000 000 чисел -- это же не такой большой оверхед, правда? <br><br>И ещё один важный момент. Не знаю как щас у х86, но исключение по переполнению целых чисел можно кидать асинхронно на уровне процессора, а не тупо синхронно проверять флаг после каждого сложения. Итаниум кажется так делает, подозреваю что и х86.<br><br>Кстати... что по-твоему компилятору легче эффективно векторизовать в 1024-битные (ладно, пока что 512- https://www.opennet.me/openforum/vsluhforumID3/125612.html#317 Mon, 25 Oct 2021 23:57:30 GMT &gt; За формализованными доказательствами обращайся к создателям языка и разработчикам компилятора. <br><br>меня вполне устроит неформальное доказательство ("на пальцах") при отсутствии формальной семантики языка<br><br>и да, я знаю, что и это сложно<br><br>&gt; 99.9% сишников и <br>&gt; пользователей любого другого ЯП тоже не смогут формализовать даже половину правил <br>&gt; своего любимого языка, при этом им это никак не мешает писать <br>&gt; хороший код, если верить местным экспертам. <br><br>Мешает, но поскольку косяки в семантике либо довольно известны, либо глубоко спрятаны, то как-то че-то писать получается.<br><br>Однако если новый язык (раст) постоянно запутывает свою семантику, то смысла на него переходить нет.<br><br>&gt; что изменение с точки зрения семантики действительно тривиально.<br><br>Это изменение действительно выглядит крайне естественно (и да, тривиально) с точки зрения пользователя данного конкретного частного случая. А как оно будет выглядеть с точки зрения пользователей других частных случаев, причем не только в текущей версии языка, но https://www.opennet.me/openforum/vsluhforumID3/125612.html#316 Mon, 25 Oct 2021 22:09:19 GMT Ты прав, брат. Мы катимся в ж0пу. Нужно что-то вроде unix'а того времени, что представит новый взгляд на известные вещи. Хотя и идеи unix не до конца выжатый. Plan9 тому подтверждение.<br>