https://opennet.ru/openforum/vsluhforumID3/120420.html Опубликован релиз языка системного программирования Rust 1.43, основанного проектом Mozilla. Язык сфокусирован на безопасной работе с памятью, обеспечивает автоматическое управление памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=52797<br> https://opennet.ru/openforum/vsluhforumID3/120420.html#283 Sun, 07 Jun 2020 12:25:48 GMT Аноним84701, цени своё время.<br> https://opennet.ru/openforum/vsluhforumID3/120420.html#274 Sun, 07 Jun 2020 04:58:23 GMT &gt; в ocaml это достигается "+." и подобными "особенностями", <br><br>Да не, этими особенностями никто не пользуется. Обычно мы просто дёргаем модуль, подменяющий операторы, которые мы хотим использовать, на те, что работают с нужными типами. Необходимость смешивания крайне редка, в этих случаях просто дёргаем нужное явно. Посмотрите на библиотеки Core от JaneStreet -- там это практикуется в каждом модуле.<br><br>А то, о чём говорите Вы -- это просто атавизмы из SML. Да, они вроде как в OCaml есть, но они так, для обратной совместимости.<br> https://opennet.ru/openforum/vsluhforumID3/120420.html#273 Wed, 06 May 2020 07:11:56 GMT в ocaml это достигается "+." и подобными "особенностями", <br>а в scala есть интеропрерабильность с jvm и тайп классы - поэтому типов нужно указывать немного больше типов, но я лучше тип укажу чем пользоваться "+." и подобным<br> https://opennet.ru/openforum/vsluhforumID3/120420.html#269 Fri, 01 May 2020 19:23:42 GMT &gt;[оверквотинг удален]<br>&gt;&gt; имеем в виду хвостовую рекурсию. Если язык её по умолчанию не <br>&gt;&gt; предоставляет, а только вон как в случае C -- только в <br>&gt;&gt; виде оптимизации, которая ещё и срабатывает от случая к случаю -- <br>&gt;&gt; то толку от такой рекурсии мало, равно как и смысла обсуждать <br>&gt;&gt; её. Это как обсуждать type inference в Scala -- номинально для <br>&gt;&gt; галочки есть, но по факту кому от неё в таком виде <br>&gt;&gt; прок...<br>&gt; кстати type inFErence - в Scala очень полезен, как минимум без него <br>&gt; исходники были бы в пару раз больше из за лишних описаний <br>&gt; типов <br><br>Ну не в пару -- это Вы сильно преувеличиваете.<br><br>Если хотите посмотреть на то, каким type inference должен быть -- приглядитесь к ocaml. У языка строгая типизация, но указывать типы Вам придётся ровно в одном случае: при конструировании новых типов (ну и для функторов, разумеется). Дальше -- всё будет выведено автоматом.<br> https://opennet.ru/openforum/vsluhforumID3/120420.html#268 Thu, 30 Apr 2020 16:19:06 GMT &gt; Просто та область применения для которой раст разработали уже давно занята, оттого <br>&gt; фанаты языка такие назойливые.<br><br>Вот же сволочи назойливые! Уже и новость про новую версию раста комментируют!<br> https://opennet.ru/openforum/vsluhforumID3/120420.html#264 Thu, 30 Apr 2020 08:16:42 GMT &gt;[оверквотинг удален]<br>&gt; Рекурсия без TCO -- это не рекурсия, а непонятно зачем нужный огрызок. <br>&gt; =) <br>&gt; А ежели быть точнее, то когда мы говорим о рекурсии, мы естественно <br>&gt; имеем в виду хвостовую рекурсию. Если язык её по умолчанию не <br>&gt; предоставляет, а только вон как в случае C -- только в <br>&gt; виде оптимизации, которая ещё и срабатывает от случая к случаю -- <br>&gt; то толку от такой рекурсии мало, равно как и смысла обсуждать <br>&gt; её. Это как обсуждать type inference в Scala -- номинально для <br>&gt; галочки есть, но по факту кому от неё в таком виде <br>&gt; прок...<br><br>кстати type inFErence - в Scala очень полезен, как минимум без него исходники были бы в пару раз больше из за лишних описаний типов<br> https://opennet.ru/openforum/vsluhforumID3/120420.html#255 Wed, 29 Apr 2020 05:47:51 GMT &gt; после этого флаг CF уже был потерян.<br><br>Может быть. Мне более правдоподобной кажется гипотеза о том, что это было слишком заморочно для компиляторов тех лет.<br><br>&gt; для того, чтобы флаг CF не потерялся, его придётся где-то записать в <br>&gt; стек, или ещё куда, сразу после возврата, чтобы после вычисления выражения <br>&gt; вытащить и таки проанализировать.<br><br>Если мы возвращаем Result, то такое вряд ли случится, потому как он требует обработки. То есть его можно записать в переменную и обработать после, но как правило он обрабатывается сразу. Хотя функция часто досрочно завершается и возвращает этот Result, а завершение может потребовать арифметики, а это значит дополнительная возня со флагом, только для того, чтобы завершиться. С другой стороны, это всё происходит в случае ошибки, и скорость её обработки менее важна, чем скорость работы без ошибки.<br><br>Но, в общем, я согласен, что тут бабка надвое сказала, стоит оно того или нет. Это надо испытывать на реальных приложениях, затачивать оптимизатор под эти реальные прило https://opennet.ru/openforum/vsluhforumID3/120420.html#254 Tue, 28 Apr 2020 14:22:35 GMT Все нравится, нормальный релиз!<br>