https://www.opennet.ru/openforum/vsluhforumID3/122474.html Опубликован релиз 1.48 языка системного программирования Rust, основанного проектом Mozilla. Язык сфокусирован на безопасной работе с памятью, обеспечивает автоматическое управление памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime (runtime сводится к базовой инициализации и сопровождению стандартной библиотеки)...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=54113<br> https://www.opennet.ru/openforum/vsluhforumID3/122474.html#365 Sun, 29 Nov 2020 18:06:47 GMT AWS собирает разработчиков компилятора Rust и Tokio<br>https://www.theregister.com/2020/11/27/aws_hires_rust_compiler_team/<br><br>"""Rust is a critical component of our long-term strategy, and we're investing to deliver Rust engineering at Amazon scale."""<br><br>Это если тут опять начнут спрашивать "а что на вашем здрасте написано?"<br> https://www.opennet.ru/openforum/vsluhforumID3/122474.html#364 Fri, 27 Nov 2020 08:28:37 GMT За 150 лет не смогла.<br> https://www.opennet.ru/openforum/vsluhforumID3/122474.html#363 Thu, 26 Nov 2020 09:13:31 GMT Будет предупреждение компиляции, если значение типа Result никак не используется (потому что тип Result имеет атрибут #[must_use]).<br> https://www.opennet.ru/openforum/vsluhforumID3/122474.html#362 Thu, 26 Nov 2020 08:54:40 GMT Ага. При этом C++ версия использует libnotify, когда в правилах тесте написано, что тестируется с использованием только стандартных функций.<br><br>Еще момент: в Rust зачем-то конвертируется строка в набор unicode-символов перед итерацией, тогда как в C++ итерация идет по байтам.<br><br>В общем, шляпа это, а не тест. В каждой реализации тестируется разное.<br> https://www.opennet.ru/openforum/vsluhforumID3/122474.html#361 Wed, 25 Nov 2020 02:50:58 GMT &gt; Кстати, есть ещё MLKit с region-based memory management: <br>&gt; https://github.com/melsman/mlkit <br>&gt; Занятная фича.<br><br>Ага. Но мне сейчас нужны для работы SML/NJ и CakeML.<br> https://www.opennet.ru/openforum/vsluhforumID3/122474.html#360 Wed, 25 Nov 2020 02:48:33 GMT &gt; А заодно бы ad-hoc polymorphism завезти, а то <br>&gt; стыдно как-то в 2020 году использовать разные операторы сложения для int <br>&gt; и float.<br><br>Ну уж что что, а полиморфизм в ML есть из коробки (система типов ХМ же):<br>- fun f x y = (x, y);<br>val f = fn : 'a -&gt; 'b -&gt; 'a * 'b<br><br>и хоть ты int туда передавай, хоть real - все одно.<br>Кстати, я очень удивился, когда увидел type variable. До ML я познакомился с Rust и теперь постоянно смотрю: а что же в Rust взяли из ML. Обозначение 'a, например, взяли, но поменяли семантику: теперь это не type variable, а life time. Оператор match - это один в один case из ML и т.д.<br>Чего не хватает Расту, так это формального определения и доказанной корректности. Хотя систему типов уже вроде верифицировали и RustBelt чего-то там ковыряют дальше. Доковыряли бы до конца - цены б Расту не было, идея с ownership мне прям очень нравится.<br><br>А вот в модном нынче Go, например, полиморфизма как раз нет - надо определять вагон и маленькую тележку функций для каждого возможного типа параметров. https://www.opennet.ru/openforum/vsluhforumID3/122474.html#359 Tue, 24 Nov 2020 19:53:12 GMT Кстати, есть ещё MLKit с region-based memory management:<br>https://github.com/melsman/mlkit<br><br>Занятная фича.<br> https://www.opennet.ru/openforum/vsluhforumID3/122474.html#358 Tue, 24 Nov 2020 19:47:28 GMT Ну вот я про то, что юникод, модули в смысле Rust (они и без Cargo работают, кстати), систему сборки и т.п. лучше бы включить в стандарт. А заодно бы ad-hoc polymorphism завезти, а то стыдно как-то в 2020 году использовать разные операторы сложения для int и float. Насчёт ФП не согласен. У SML и с императивщиной всё прекрасно, в отличие от того же Haskell, так что дело явно не в ФП. Про ООП и паттерны полностью согласен. Вообще, такое впечатление, будто основная разработка ведётся профессиональными мазохистами-писькомерами. Типа, чем дольше по колючей проволоке можешь проползти голый, тем ты круче - особенно, если ползёшь agile'ово. Ну, тут всё как в жизни: где невидимая рука рынка смажет, там и будут роиться.<br> https://www.opennet.ru/openforum/vsluhforumID3/122474.html#357 Tue, 24 Nov 2020 19:28:43 GMT &gt; Я не про те модули, не путай красное с тяжёлым<br><br>Про аналог Cargo? Ну нет такого, да. Либо я пока о его существовании не знаю.<br><br>&gt; А можно эти плюшки завезти во все реализации - через стандарт, например?<br><br>В MLton все это тоже вроде есть. Как минимум юникод. И бинарник он компилит вроде как без лишних телодвижений (утверждать не берусь, т.к. пока с SML/NJ работаю).<br>А стандарт у SML один - The Definition. Единственный нормальный стандарт из мной виденных. У Раста, кстати, пока вообще никакого стандарта нет. Точнее, он определяется единственной реализацией.<br><br>&gt; Хотя, есть же C++...<br><br>Фу-фу-фу, его точно не надо.<br><br>&gt; Порядка не хватает, отсюда и непопулярность<br><br>Скорее, тут в целом непопулярность ФП. У Лиспа вон все вышеуказанное есть, однако ж тоже малопопулярен. Erlang - то же самое. Народу гораздо привычнее сношать мозг кучей паттернов и антипаттернов ООП, и с умным видом цитировать банду четырех.<br>Порядка в SML как раз побольше, чем у остальных.<br>А есть еще вот такая штука: http://cml.cs.uchicago.edu/.