https://www.opennet.dev/openforum/vsluhforumID3/105251.html Доступен (http://blog.rust-lang.org/2015/10/29/Rust-1.4.html) релиз языка программирования Rust 1.4 (http://www.rust-lang.org), развиваемого проектом Mozilla, обеспечивающего автоматическое управление памятью и предоставляющего средства для высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime. Параллельно с Rust совместно с компанией Samsung развивается экспериментальный браузерный движок Servo (https://www.opennet.ru/opennews/art.shtml?num=36576), написанный (https://github.com/servo/servo/) на языке Rust и отличающийся поддержкой многопоточного рендеринга web-страниц и распараллеливанием операций с DOM (Document Object Model). <br><br><br>В новом выпуске представлено (https://github.com/rust-lang/rust/blob/8ab8581f6921bc7a8e3fa4defffd2814372dcb15/RELEASES.md#version-140-october-2015) более 1200 изменений, который в основном связаны с небольшими улучшениями и стабилизацией кодовой базы. В стандартной библиотеке 48 API отмечены как стабильные, 8 API переведены в кат https://www.opennet.dev/openforum/vsluhforumID3/105251.html#58 Mon, 02 Nov 2015 11:20:42 GMT Системы типов как System F нет, которая присутствует в том же Ocaml, оптимизации хвостовой рекурсии нет. Модели акторов в стандартной библиотеке нет. "Вечносырой" компилятор.<br>Так лучше C++ использовать.<br> https://www.opennet.dev/openforum/vsluhforumID3/105251.html#57 Mon, 02 Nov 2015 08:28:02 GMT Функциональное программирование уже встроено в язык. Просто запрети себе присваивание и нигде не используй mut.<br>Модель акторов - в библиотеках.<br> https://www.opennet.dev/openforum/vsluhforumID3/105251.html#56 Mon, 02 Nov 2015 08:21:28 GMT Что для вас "Правильная система типов"?<br>Зачем разделять классы и структуры, если всё это просто типы?<br>Система типов Rust строже следует теориям (https://en.wikipedia.org/wiki/Substructural_type_system). Просто в Rust все абстракции подразумевают, что всё ещё есть память, которой надо управлять, и все абстракции вокруг неё и крутятся (потому что системное программирование).<br> https://www.opennet.dev/openforum/vsluhforumID3/105251.html#55 Mon, 02 Nov 2015 06:57:33 GMT Да... Вот бы мощь лиспа совместить с выводом типов, как в ocaml/haskell. Никто, кстати, не смотрел ещё на typed/racket?<br> https://www.opennet.dev/openforum/vsluhforumID3/105251.html#54 Sun, 01 Nov 2015 15:48:35 GMT &gt;&gt; Rust поддерживает смесь императивных процедурных и объектно-ориентированных методов с такими парадигмами, как функциональное программирование и модель акторов, а также обобщённое программирование и метапрограммирование, в статических и динамических стилях.<br>&gt; Где там функциональное программирование и модель акторов?<br><br>Спроси у Crazy Alex чуть выше - он тебе расскажет много тёплых слов ))<br> https://www.opennet.dev/openforum/vsluhforumID3/105251.html#53 Sun, 01 Nov 2015 15:46:48 GMT &gt; накой их плодить?<br><br>Дык, не плоди ))<br> https://www.opennet.dev/openforum/vsluhforumID3/105251.html#52 Sun, 01 Nov 2015 15:45:09 GMT &gt; Хилые пользовательские типы.<br><br>В чём заключается &#171;хилость&#187;? Что сложно сделать такого, что было бы просто в альтернативах?<br><br>&gt; Вся шиза с прибитым к языку ownership. <br><br>Для желающих и умеющих стрелять себе в ногу &#8212; секция unsafe.<br><br>И опять же, в свете Rust отсутствие в языках средств управления ownership - выглядит уже не меньшей шизой.<br><br>&gt; Отсутствие приличного ООП. <br><br>Крупные и успешные проекты, написанные на неООП языках, являются прямым подтверждением того, что отсутствие ООП, прибитого к языку, &#8212; это не всегда минус.<br><br>Ну и чередование фраз &#171;приличный ООП&#187; и &#171;стандартный ООП&#187; выдают почти религиозную субъективность, которая железобетонно подтверждается фразой про &#171;функциональщину&#187;.<br> https://www.opennet.dev/openforum/vsluhforumID3/105251.html#51 Sun, 01 Nov 2015 15:27:43 GMT Ты там как, уже хоть одну компилируемую программу написал? ))<br> https://www.opennet.dev/openforum/vsluhforumID3/105251.html#50 Sun, 01 Nov 2015 06:44:46 GMT &gt; Rust защищает от ошибок, типа переполнений, потом выясняется что только от элементарных, которые в C++ и так сразу ловятся статическими анализаторами.<br><br>А статические анализаторы прям всемогущи? Загляни в чендж лог любого из них - сразу будут "добавлены такие-то и такие проверки". Те же ребята из pvs studio хвалятся тем, что всё время находят косяки в крупных и не очень опенсорсных проектах. В расте же благодаря внутренней семантике языка и различных ограничений возможностей программиста (владение, заимствование и т.п.) и была достигнута безопасность. При написании на расте не раз было чувство, что компилятор попусту трещит и ошибок нет, однако после повиновения компилятору приходит осознание возможных последствий этой с виду неошибки. Возможно, компилятор может и пропустить какую-нибудь экзотичесикую багу в релиз, но благодаря своей архитектуре с каждым релизом цепи становятся всё прочнее и прочнее. Не стоит забывать, что вне области действий компилятора (ОС, код других ЯП) всё есть unsafe.<br>