The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Увидел свет язык программирования Rust 1.9

27.05.2016 10:55

Состоялся релиз языка программирования Rust 1.9, развиваемого проектом Mozilla, обеспечивающего автоматическое управление памятью и предоставляющего средства для высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime. Параллельно с Rust совместно с компанией Samsung развивается экспериментальный браузерный движок Servo, написанный на языке Rust и отличающийся поддержкой многопоточного рендеринга web-страниц и распараллеливанием операций с DOM (Document Object Model).

В состав нового выпуска принято около 1000 изменений, среди которых:

  • В разряд стабильных переведён модуль std::panic, включающий API catch_unwind для перехвата и обработки процесса "размотки" (unwinding), запускаемого в случае краха из-за ошибки программы. API catch_unwind создаёт новый уровень изоляции в рамках потока (thread), который можно использовать для разбора краха с последующим завершением/перезапуском процесса или преобразованием в форму не фатальной ошибки.
  • Для библиотек реализован новый атрибут "#[deprecated]", позволяющий пометить API как устаревший, с выводом соответствующего предупреждения при использовании данного API в приложениях;
  • Стандартная библиотека портирована для целевых платформ mips-unknown-linux-musl, mipsel-unknown-linux-musl и i586-pc-windows-msvc;
  • Проведена оптимизация кода сравнения идентичности переменных во время выполнения унификации типов. Число операций при таких сравнениях сокращено с O(n!) до O(n), что привело к значительному ускорению компиляции некоторых типов проектов;
  • В стандартной библиотеке впервые задействованы средства специализации (specialization), позволяющие создавать обобщённые блоки кода, автоматически специализируемые на основании информации о типе;
  • В разряд стабильных переведено около 80 функций и методов, среди которых средства настройки соединения в TcpStream, TcpListener и UdpSocket, функции take(), replace() и get() в BTreeSet и HashSet, новые методы OsString, поддержка copy_from_slice() в Slices, декодирование char в UTF-16;
  • В пакетном менеджере Cargo обеспечена поддержка одновременного запуска нескольких экземпляров. Добавлен новый флаг RUSTFLAGS, позволяющий определить произвольные аргументы, передаваемые через переменную окружения при вызове rustc;
  • В рамках инструментария rustup подготовлены сборки стандартной библиотеки для разных платформ, что упрощает организацию процесса кросскомпиляции. Rustup можно рассматривать как аналог утилит rvm, rbenv и pyenv, используемых разработчиками Ruby и Python.

Напомним, что язык Rust сфокусирован на безопасной работе с памятью и обеспечении высокого параллелизма выполнения заданий. При этом Rust обходится без использования сборщика мусора или runtime, что делает возможным создания на Rust библиотек, которые могут выступать в роли прозрачной замены библиотекам для языка Си. Для распространения библиотек на языке Rust, обеспечения сборки и управления зависимостями проектом развивается пакетный менеджер Cargo, позволяющий получить нужные для программы библиотеки в один клик. Для размещения библиотек введён в строй репозиторий crates.io.

По структуре язык Rust напоминает C++, но существенно отличается в некоторых деталях реализации синтаксиса и семантики. Автоматическое управление памятью избавляет разработчика от манипулирования указателями и защищает от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей, выход за границы буфера и т.п. Rust поддерживает смесь императивных, процедурных и объектно-ориентированных методов с такими парадигмами, как функциональное программирование и модель акторов, а также обобщённое программирование и метапрограммирование, в статических и динамических стилях.



  1. Главная ссылка к новости (http://blog.rust-lang.org/2016...)
  2. OpenNews: Доступен язык программирования Rust 1.8
  3. OpenNews: Успехи Rust: Подготовка первого выпуска Servo и использование Rust в новом хранилище Dropbox
  4. OpenNews: Увидел свет язык программирования Rust 1.7
  5. OpenNews: Релиз языка программирования Rust 1.6, развиваемого проектом Mozilla
  6. OpenNews: Релиз языка программирования Rust 1.5, развиваемого проектом Mozilla
Лицензия: CC-BY
Тип: Программы
Короткая ссылка: https://opennet.ru/44498-rust
Ключевые слова: rust, mozilla
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (29) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.2, x0r (??), 11:47, 27/05/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Что за заголовок? "Вышла очередная запланированная версия"
     
     
  • 2.3, Вадик (??), 12:03, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Идут по плану
     
     
  • 3.5, тОпор (?), 13:39, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +7 +/
    И все идет по плану... (с)
     
     
  • 4.9, Аноним (-), 16:32, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Я люблю фортрану...
     
     
  • 5.24, Аноним (-), 20:57, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • –1 +/
    А при цэ плюс плюсе (семнадцать) всё будет зашибись,
    Он наступит скоро, надо только подождать.
    Да всё будет бесплатно и далее по тексту.

     
     
  • 6.26, fleonis (ok), 23:41, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • –1 +/
    а в +17 все будет зашибись
    только ты в стандрат втыкнись
    раст не земенит си
    не него ты даже не смотри
    :)
     

  • 1.6, enik (ok), 13:53, 27/05/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Они теперь его каждую неделю клепают.
     
     
  • 2.33, Aleks Revo (ok), 21:31, 28/05/2016 [^] [^^] [^^^] [ответить]  
  • +/
    А все остальные - три недели через одну?
     

  • 1.7, Аноним11.11 (?), 15:54, 27/05/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    когда они уже на роллинг-релиз перейдут ? а то от версий уже пестрит в глазах
     
     
  • 2.13, Roo2AT7d (ok), 17:00, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Каждые 6 недель, а ночная версия и вовсе каждый день.
     

  • 1.8, asd (??), 16:09, 27/05/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • –3 +/
    раст круче го кто знает? го понравился, но ява по развитее
     
     
  • 2.11, Аноним (-), 16:45, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    "круче" - это заход с неправильной стороны. го очень хорош по своей сетевой части и именно в http - реально всякие высокопроизодительные серваки писать подо что угодно, сказочно прекрасно. А раст в перспективе может стать не только таким же, но ещё и суметь стать заменой C/C++ в системном программировании. Хотя это всё слова конечно...
     
  • 2.12, Omnomnom (?), 16:57, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • –3 +/
    Как по мне, D заруливает обоих.
     
     
  • 3.14, Аноним (-), 17:02, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Нет. Круче языка Z ещё не придумали.
     
  • 2.15, freehck (ok), 17:56, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > раст круче го кто знает? го понравился, но ява по развитее

    Рассматривать языки абстрактно -- не самая хорошая идея. Надо оценивать применительно к задачам. Но если уж попытаться ответить на поставленный вопрос в его текущей формулировке, то:

    Go уже готов к продакшену, и много где используется. Те же docker и aptly показали себя очень надёжными инструментами, и уже вовсю шагают по планете. Синтаксис не страшнее крестов. По крайней мере я, когда патчи писал, сумел быстро разобраться, что к чему.

    Rust пока только становится на ноги, но вот кое-какие части Dropbox уже на нём переписали. Вроде даже работает. Но об этом объявили сравнительно недавно, и написанные на нём компоненты -- это закрытая разработка одноимённой компании, так что я пока не видел устоявшегося мнения о Rust.

    Java хороша для коммерческой разработки, с ней удобно делать высокопроизводительные демоны, которые должны постоянно висеть в системе. Но учитывая скорость разгона при старте, а также потребление памяти и CPU -- она заметно проигрывает нативным языкам.

    Если вас интересует некая другая абстрактная крутость, можете взглянуть... Ну не знаю... На Racket Scheme, как на пример Lisp-подобных языков. Вот уже несколько десятков лет ни один язык из не-lisp-подобных не может догнать их по выразительной силе. Единственное, что огорчает -- они динамически-типизированные.

    Из наиболее крутых в плане системы автоматического вывода типов -- смотрите на ML-подобные языки. Haskell и Ocaml сейчас самые популярные, но первый -- чисто ленивый, это новичками сложно даётся (мне так и не далось).

     
     
  • 3.17, ZloySergant (ok), 18:18, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Два комментария в одном.
    1. Racket, в девичестве PLT-Scheme - чудесная штука. Жаль не Common LISP, а Scheme.
    2. Haskell лучше не вспоминать. Все, что касается IO или иных вещей, выходящих за рамки, - лютый звиздец. За проталкивание в массы ширинки (zipper) авторов надо ... и еще раз ..., а потом (ну Вы поняли :) ).

    Впрочем, это - личное мнение. Никому не навязываю.

    UPD. А lazy computation, вообще-то реализуется хоть на Си.

     
     
  • 4.20, freehck (ok), 18:35, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Поддерживаю. За одной лишь оговоркой по части Haskell, что IO и иные вещи -- это как раз следствие глобальной ленивости языка.
     
     
  • 5.22, ZloySergant (ok), 19:46, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +/
    > Поддерживаю. За одной лишь оговоркой по части Haskell, что IO и иные
    > вещи -- это как раз следствие глобальной ленивости языка.

    Хм, если мне не изменяет мой маразм - таки как раз _излишне_ сильной (на этой основе и строится прарадигма языка) типизации. Отсюда и пляски с бубном.

    Впрочем, это опять мое сугубое IMHO.

    UPD. Имею ввиду все-таки strict typing, а не strong. Сложности перевода, что делать.

     
     
  • 6.28, freehck (ok), 23:46, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +/
    > Хм, если мне не изменяет мой маразм - таки как раз _излишне_
    > сильной (на этой основе и строится прарадигма языка) типизации. Отсюда и
    > пляски с бубном.

    Странные у вас представления. Это же Хиндли-Милнер в чистом виде. Благодаря этой системе типов, если программа скомпилировалась, то ошибок типа точно нет. За это и люблю Ocaml.

    Впрочем, я понимаю, о чём Вы. Вы, стало быть, не о монадах, как я сначала подумал, а о форматных строках, которые тоже проверяются на этапе компиляции. Ну да, там хитрая магия, что уж поделать.

     
  • 4.21, Аноним (-), 19:10, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Хаскель на самом деле- годная штука, просто специфичная(а особенно "реализации" его ;) а вот Смалталк - вещь на люителя, конечно.
    вот Эрланг - тот да, крутяк.
     
  • 2.27, fleonis (ok), 23:43, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +/
    > раст круче го кто знает?

    критерии крутости?

     

  • 1.18, MPEG LA (ok), 18:19, 27/05/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    >Параллельно с Rust совместно с компанией Samsung развивается экспериментальный браузерный движок Servo

    фраза кочует из новости в новость, из года в год, а виден ли хоть свет в конце тоннеля у этого чуда?

     
     
  • 2.19, Никто (??), 18:35, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    С учётом того, что язык, на котором он написан, стабилизировался только год назад, а современный браузер соответствует сложности серьёзной ОСЮ, ничего удивительного, что создают его так долго.
     
  • 2.23, Lain_13 (ok), 20:31, 27/05/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    http://www.gizmag.com/servo-mozilla-browsing-engine/42633/ — скоро будет нечто вроде альфа-версии готово.
     

  • 1.25, Аноним (-), 21:36, 27/05/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    «Автоматическое управление памятью избавляет...»

    Вот только в Rust нет автоматического управления памятью. Фишка такая.

     
     
  • 2.29, angra (ok), 01:33, 28/05/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Это вопрос терминологии. Если ставить равенство между "автоматическое управление памятью" и "сборщик мусора", то его действительно нет, а вот если понимать, что сборка мусора это лишь один из видов автоматического управления памятью, то последнее в rust есть.
     

  • 1.30, Genby (?), 03:08, 28/05/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    ха! исходник rust таскает с собой и собирвает в виде субмодуля целый llvm facepalm.jpg . эту проблему пытаются решить с 2014 года.. вот это да!
     
  • 1.31, Аноним (-), 16:01, 28/05/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    "В разряд стабильных переведён модуль std::panic"
    :DDDD
     
     
  • 2.32, Аноним (-), 20:53, 28/05/2016 [^] [^^] [^^^] [ответить]  
  • +/
    на Хабре хорошо объяснены детали и назначение фич из анонса RUST 1.9
    https://habrahabr.ru/post/301994
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Спонсоры:
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2020 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру