Состоялся (http://blog.rust-lang.org/2016/05/26/Rust-1.9.html) релиз языка программирования Rust 1.9 (http://www.rust-lang.org), развиваемого проектом Mozilla, обеспечивающего автоматическое управление памятью и предоставляющего средства для высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime. Параллельно с Rust совместно с компанией Samsung развивается экспериментальный браузерный движок Servo (https://www.opennet.me/opennews/art.shtml?num=36576), написанный (https://github.com/servo/servo/) на языке Rust и отличающийся поддержкой многопоточного рендеринга web-страниц и распараллеливанием операций с DOM (Document Object Model).В состав нового выпуска принято около 1000 изменений, среди которых (https://github.com/rust-lang/rust/blob/master/RELEASES.md#ve...):
- В разряд стабильных переведён модуль std::panic (https://github.com/rust-lang/rfcs/pull/1236), включающий API catch_unwind для перехвата и обработки процесса "размотки" (unwinding), запускаемого в случае краха из-за ошибки программы. API catch_unwind создаёт новый уровень изоляции в рамках потока (thread), который можно использовать для разбора краха с последующим завершением/перезапуском процесса или преобразованием в форму не фатальной ошибки.- Для библиотек реализован (https://github.com/rust-lang/rfcs/blob/master/text/1270-depr...) новый атрибут "#[deprecated]", позволяющий пометить API как устаревший, с выводом соответствующего предупреждения при использовании данного API в приложениях;
- Стандартная библиотека портирована для целевых платформ mips-unknown-linux-musl, mipsel-unknown-linux-musl и i586-pc-windows-msvc;
- Проведена (https://github.com/rust-lang/rust/pull/32062) оптимизация кода сравнения идентичности переменных во время выполнения унификации типов. Число операций при таких сравнениях сокращено с O(n!) до O(n), что привело к значительному ускорению компиляции некоторых типов проектов;- В стандартной библиотеке впервые задействованы средства специализации (specialization (https://github.com/rust-lang/rfcs/pull/1210)), позволяющие создавать обобщённые блоки кода, автоматически специализируемые на основании информации о типе;
- В разряд стабильных переведено около 80 функций и методов (https://github.com/rust-lang/rust/blob/stable/RELEASES.md#li...), среди которых средства настройки соединения в TcpStream, TcpListener и UdpSocket, функции take(), replace() и get() в BTreeSet и HashSet, новые методы OsString, поддержка copy_from_slice() в Slices, декодирование char в UTF-16;- В пакетном менеджере Cargo обеспечена поддержка одновременного запуска нескольких экземпляров. Добавлен новый флаг RUSTFLAGS, позволяющий определить произвольные аргументы, передаваемые через переменную окружения при вызове rustc;
- В рамках инструментария rustup (https://www.rustup.rs/) подготовлены (http://blog.rust-lang.org/2016/05/13/rustup.html) сборки стандартной библиотеки для разных платформ, что упрощает организацию процесса кросскомпиляции. Rustup можно рассматривать как аналог утилит rvm (https://rvm.io/), rbenv (https://github.com/rbenv/rbenv) и pyenv (https://github.com/yyuu/pyenv), используемых разработчиками Ruby и Python.Напомним, что язык Rust сфокусирован на безопасной работе с памятью и обеспечении высокого параллелизма выполнения заданий. При этом Rust обходится без использования сборщика мусора или runtime, что делает возможным создания на Rust библиотек, которые могут выступать в роли прозрачной замены библиотекам для языка Си. Для распространения библиотек на языке Rust, обеспечения сборки и управления зависимостями проектом развивается пакетный менеджер Cargo (http://blog.rust-lang.org/2014/11/20/Cargo.html), позволяющий получить нужные для программы библиотеки в один клик. Для размещения библиотек введён в строй репозиторий crates.io (https://crates.io/).
По структуре язык Rust напоминает C++, но существенно отличается в некоторых деталях реализации синтаксиса и семантики. Автоматическое управление памятью избавляет разработчика от манипулирования указателями и защищает от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей, выход за границы буфера и т.п. Rust поддерживает смесь императивных, процедурных и объектно-ориентированных методов с такими парадигмами, как функциональное программирование и модель акторов, а также обобщённое программирование и метапрограммирование, в статических и динамических стилях.
URL: http://blog.rust-lang.org/2016/05/26/Rust-1.9.html
Новость: http://www.opennet.me/opennews/art.shtml?num=44498
Что за заголовок? "Вышла очередная запланированная версия"
Идут по плану
И все идет по плану... (с)
Я люблю фортрану...
А при цэ плюс плюсе (семнадцать) всё будет зашибись,
Он наступит скоро, надо только подождать.
Да всё будет бесплатно и далее по тексту.
а в +17 все будет зашибись
только ты в стандрат втыкнись
раст не земенит си
не него ты даже не смотри
:)
Они теперь его каждую неделю клепают.
А все остальные - три недели через одну?
когда они уже на роллинг-релиз перейдут ? а то от версий уже пестрит в глазах
Каждые 6 недель, а ночная версия и вовсе каждый день.
раст круче го кто знает? го понравился, но ява по развитее
"круче" - это заход с неправильной стороны. го очень хорош по своей сетевой части и именно в http - реально всякие высокопроизодительные серваки писать подо что угодно, сказочно прекрасно. А раст в перспективе может стать не только таким же, но ещё и суметь стать заменой C/C++ в системном программировании. Хотя это всё слова конечно...
Как по мне, D заруливает обоих.
Нет. Круче языка Z ещё не придумали.
> раст круче го кто знает? го понравился, но ява по развитееРассматривать языки абстрактно -- не самая хорошая идея. Надо оценивать применительно к задачам. Но если уж попытаться ответить на поставленный вопрос в его текущей формулировке, то:
Go уже готов к продакшену, и много где используется. Те же docker и aptly показали себя очень надёжными инструментами, и уже вовсю шагают по планете. Синтаксис не страшнее крестов. По крайней мере я, когда патчи писал, сумел быстро разобраться, что к чему.
Rust пока только становится на ноги, но вот кое-какие части Dropbox уже на нём переписали. Вроде даже работает. Но об этом объявили сравнительно недавно, и написанные на нём компоненты -- это закрытая разработка одноимённой компании, так что я пока не видел устоявшегося мнения о Rust.
Java хороша для коммерческой разработки, с ней удобно делать высокопроизводительные демоны, которые должны постоянно висеть в системе. Но учитывая скорость разгона при старте, а также потребление памяти и CPU -- она заметно проигрывает нативным языкам.
Если вас интересует некая другая абстрактная крутость, можете взглянуть... Ну не знаю... На Racket Scheme, как на пример Lisp-подобных языков. Вот уже несколько десятков лет ни один язык из не-lisp-подобных не может догнать их по выразительной силе. Единственное, что огорчает -- они динамически-типизированные.
Из наиболее крутых в плане системы автоматического вывода типов -- смотрите на ML-подобные языки. Haskell и Ocaml сейчас самые популярные, но первый -- чисто ленивый, это новичками сложно даётся (мне так и не далось).
Два комментария в одном.
1. Racket, в девичестве PLT-Scheme - чудесная штука. Жаль не Common LISP, а Scheme.
2. Haskell лучше не вспоминать. Все, что касается IO или иных вещей, выходящих за рамки, - лютый звиздец. За проталкивание в массы ширинки (zipper) авторов надо ... и еще раз ..., а потом (ну Вы поняли :) ).Впрочем, это - личное мнение. Никому не навязываю.
UPD. А lazy computation, вообще-то реализуется хоть на Си.
Поддерживаю. За одной лишь оговоркой по части Haskell, что IO и иные вещи -- это как раз следствие глобальной ленивости языка.
> Поддерживаю. За одной лишь оговоркой по части Haskell, что IO и иные
> вещи -- это как раз следствие глобальной ленивости языка.Хм, если мне не изменяет мой маразм - таки как раз _излишне_ сильной (на этой основе и строится прарадигма языка) типизации. Отсюда и пляски с бубном.
Впрочем, это опять мое сугубое IMHO.
UPD. Имею ввиду все-таки strict typing, а не strong. Сложности перевода, что делать.
> Хм, если мне не изменяет мой маразм - таки как раз _излишне_
> сильной (на этой основе и строится прарадигма языка) типизации. Отсюда и
> пляски с бубном.Странные у вас представления. Это же Хиндли-Милнер в чистом виде. Благодаря этой системе типов, если программа скомпилировалась, то ошибок типа точно нет. За это и люблю Ocaml.
Впрочем, я понимаю, о чём Вы. Вы, стало быть, не о монадах, как я сначала подумал, а о форматных строках, которые тоже проверяются на этапе компиляции. Ну да, там хитрая магия, что уж поделать.
Хаскель на самом деле- годная штука, просто специфичная(а особенно "реализации" его ;) а вот Смалталк - вещь на люителя, конечно.
вот Эрланг - тот да, крутяк.
> раст круче го кто знает?критерии крутости?
>Параллельно с Rust совместно с компанией Samsung развивается экспериментальный браузерный движок Servoфраза кочует из новости в новость, из года в год, а виден ли хоть свет в конце тоннеля у этого чуда?
С учётом того, что язык, на котором он написан, стабилизировался только год назад, а современный браузер соответствует сложности серьёзной ОСЮ, ничего удивительного, что создают его так долго.
http://www.gizmag.com/servo-mozilla-browsing-engine/42633/ — скоро будет нечто вроде альфа-версии готово.
«Автоматическое управление памятью избавляет...»Вот только в Rust нет автоматического управления памятью. Фишка такая.
Это вопрос терминологии. Если ставить равенство между "автоматическое управление памятью" и "сборщик мусора", то его действительно нет, а вот если понимать, что сборка мусора это лишь один из видов автоматического управления памятью, то последнее в rust есть.
ха! исходник rust таскает с собой и собирвает в виде субмодуля целый llvm facepalm.jpg . эту проблему пытаются решить с 2014 года.. вот это да!
"В разряд стабильных переведён модуль std::panic"
:DDDD
на Хабре хорошо объяснены детали и назначение фич из анонса RUST 1.9
https://habrahabr.ru/post/301994