The OpenNET Project / Index page

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

Выпуск языка программирования Rust 0.8, развиваемого проектом Mozilla

27.09.2013 15:29

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

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

С момента прошлого выпуска внесено около 2200 изменений. При подготовке новой версии была продолжена работа по приведению в порядок и расширению стандартной библиотеки функций. Внесено несколько незначительных изменений в язык. Ключевое слово "for" теперь может работать с типами итераторов (Iterator). Переработаны runtume-компоненты и планировщик задач. Добавлена новая экспериментальная подсистема ввода/вывода. Добавлено семейство макросов "format!" для форматирования строковых данных, которое заменило собой макросы "fmt!".

Базовые возможности языка:

  • Ориентация на безопасность:
    • Аккуратная работа с памятью - никаких нулевых и потерянных указателей. Автоматическое управление памятью;
    • Контроль изменчивости. Объекты неизменяемы (Immutable) по умолчанию;
    • Безопасность динамического выполнения: обработка сбоев, исключения, ведение лога, RAII / dtors;
    • Typestate: возможность определения сложных инвариантов, контролирующих структуры данных.
  • Ориентация на параллельность и эффективность кода:
    • Явный контроль памяти, контролирование схемы распределения памяти;
    • Крайне легкие задачи, формируемые в виде сопрограмм. Лёгкость в порождении тысяч и миллионов подпроцессов;
    • Итераторы стека (фактически лямбда-блоки без распределения кучи);
    • Статическая, нативная компиляция с созданием исполняемых файлов ELF, PE, Mach-o;
    • Прямой и простой интерфейс для кода на языке Си;
  • Ориентация на практическое применение:
    • Мультипарадигмальный, функциональный, императивно-процедурный, объектно-ориентированный, поддерживающий параллельную actor-модель;
    • Функции высшего порядка с биндингами;
    • Нет номинальных типов или иерархии типов;
    • Мультиплатформенный, поддерживается Windows, Linux, Mac OS X, *BSD;
    • Хранение строк в UTF8, разнообразие низкоуровневых типов;
    • Работает с существующими нативными наборами инструментов: GDB, Valgrind, Shark и т.д.;
    • Практическая возможность нарушения правил: возможность игнорирования правил безопасности, если чётко указано, когда и как их нарушать.


  1. Главная ссылка к новости (https://mail.mozilla.org/piper...)
  2. OpenNews: Mozilla и Samsung объявили о совместной работе над браузерным движком нового поколения
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/38006-rust
Ключевые слова: rust
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (44) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (-), 15:49, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • –4 +/
    Очередной молоток с лазерным наведением и пропеллером, но без совместимости с гвоздями.
     
     
  • 2.2, Аноним (-), 15:55, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Очередной молоток с лазерным наведением и пропеллером, но без совместимости с гвоздями.

    NIH вездесущ и заразен.

     
  • 2.3, Аноним (-), 15:58, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +3 +/
    > Очередной молоток с лазерным наведением и пропеллером, но без совместимости с гвоздями.

    Ты просто не модный.


     
  • 2.4, Аноним (-), 16:11, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Все так плохо? На вид так замечательно... И интеграция с Си есть.
    Жаль тулкита нет.
     
  • 2.27, Аноним (-), 21:45, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +3 +/
    > но без совместимости с гвоздями

    С "C ABI" он совместим. А друих стандартных кроссплатформенных и широко используемых ABI не существует.

     

  • 1.5, 123 (??), 16:14, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • –6 +/
    Go на мой взгляд гораздо лучше
     
     
     
    Часть нити удалена модератором

  • 3.9, YetAnotherOnanym (ok), 16:31, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Выражу всеобщее мнение

    нет

     
  • 2.10, vn971 (ok), 16:31, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Мнение, претендующее на правильное, или собственное? Так или иначе, я бы сказал:
    * Rust интересный
    * В нём определённо есть фичи которых нет в Go
     
  • 2.15, Ушастик (?), 17:27, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Go это более серверный язык, с не очень шустрым GC, который все же устраивает Google. Для десктопа он может оказаться слишком медленным или вообще неприменимы, например для программ которые работают со звуком или видео, все будет замирать на время очистки памяти.

    У Rust нету такой проблемы, памятью можно управлять как в C, но с другой стороны стандартная библиотека уж очень ущербная, чего не скажешь о Go, где из коробки есть практически все что надо, вплоть до парсинга JSON и универсального SQL-интерфейса.

     
     
  • 3.46, BratSinot (ok), 00:56, 04/12/2013 [^] [^^] [^^^] [ответить]  
  • +/
    > с не очень шустрым GC

    С чего вы взяли что он не очень шустрый? Да и потом, они относительно недавно наняли известного человека по GC (какого точно не помню) и уже в 1.2 пара его улучшений есть, остальные ожидаются в 1.3.

     
  • 2.17, 1234567 (?), 17:46, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Go на мой взгляд гораздо хуже
     
  • 2.32, Аноним (-), 12:28, 28/09/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    бессмысленно сравнивать Rust и Go, это совершенно разные языки для разных целей
     
     
  • 3.47, BratSinot (ok), 00:57, 04/12/2013 [^] [^^] [^^^] [ответить]  
  • +/
    > бессмысленно сравнивать Rust и Go, это совершенно разные языки для разных целей

    Хорошо сравнили, учитывая что в Rust еще 100 раз все поменяться может.

     

  • 1.7, Аноним (-), 16:21, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +13 +/
    Выпустить браузер, создать язык программирования, и склепать ОС для мобильников  - программа минимум для корпораций в 21 веке.
     
  • 1.8, Аноним (-), 16:30, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Когда Firefox на него перепишут?
     
     
  • 2.16, anonymous (??), 17:32, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Наверно, к моменту допиливания и релиза самого Rust:
    https://github.com/mozilla/servo
     

  • 1.11, Crazy Alex (ok), 16:44, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Отсутствие номинальной системы типов - это, кстати, грустно. Потому что круг, у которого есть x,y, length и квадрат с теми же параметрами - ни хрена не идентичны и никаких не определенных явно операций между ними быть не должно.
     
     
  • 2.13, Аноним (-), 16:59, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Ты с Go не перепутал?
     
     
  • 3.33, Аноним (-), 12:32, 28/09/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Go - строго типизированный язык, в котором отсутствует даже неявное преобразование типов. Даже если это синонимы
     
     
  • 4.41, Аноним (-), 12:49, 30/09/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Так это же в Go все интерфейсы неявно выполняются, а в Rust надо явно указывать, какие интерфейсы твой тип реализует (в Rust интерфейсы называются traits).
     
  • 2.22, Аноним (-), 19:11, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +2 +/
    length у круга?
     
     
  • 3.39, Анончик (?), 23:39, 28/09/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Он подразумевал периметр
     
  • 2.34, Аноним (-), 14:49, 28/09/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Если у круга есть длина, это в любом случае грустно.
     
     
  • 3.42, Аноним (-), 17:32, 01/10/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Представь себе у круга есть длина, Pi - это как раз длина круга деленная на его диаметр, просто так получилось что эта пропорция всегда выражается одним и тем-же числом для любых размеров.
     
     
  • 4.43, Andrey Mitrofanov (?), 18:42, 01/10/2013 [^] [^^] [^^^] [ответить]  
  • +/
    > Представь себе у круга есть длина,

    //А крестьяне всё ловились и ловились. Большие и маленькие...

     

  • 1.12, Аноним (-), 16:51, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    Славно, что удачные идеи из ФП постепенно входят в мейнстрим. Лямбды, вывод типов вон даже к плюсам прикрутили. Теперь вон Rust, он прям как хаскель или ML с человеческим лицом. С одной стороны алгебраические типы, паттерн-матчинг, функции высшего порядка, иммутабельность по умолчанию. А с другой стороны всё без фанатизма и весьма практично. Мне нравится.
     
     
  • 2.14, некто (ok), 17:23, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +/
    > Славно, что удачные идеи из ФП постепенно входят в мейнстрим. Лямбды, вывод
    > типов вон даже к плюсам прикрутили. Теперь вон Rust, он прям
    > как хаскель или ML с человеческим лицом. С одной стороны алгебраические
    > типы, паттерн-матчинг, функции высшего порядка, иммутабельность по умолчанию. А с другой
    > стороны всё без фанатизма и весьма практично. Мне нравится.

    еще про эрланг забыли как-то

     
     
  • 3.23, vn971 (ok), 19:18, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Исправлю за товарища: ещё прекрасная модель акторов, которая позволяет хорошо решить многие задачи многопоточности.
    (Проверено мной и не только, на маленьких проектах и не очень.)
     

  • 1.18, Аноним (18), 17:51, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • –5 +/
    Вместо того чтоб пилить браузер мозилла страдает херней
     
     
  • 2.19, Аноним (-), 17:52, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +5 +/
    А ты ей запрети.
     
     
  • 3.40, Анончик (?), 23:40, 28/09/2013 [^] [^^] [^^^] [ответить]  
  • +/
    А еще лучше - научи как правильно
     

  • 1.20, Аноним (-), 18:01, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    очередное изобретение Erlang с костылями от C-ей, в которые все и уперлось, увы ;(
     
     
  • 2.24, vn971 (ok), 19:21, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    erlang не очень быстрый, насколько я понимаю, увы. Т.е. если performance-critical -- то не подходит. Хотя язык/платформа клёвые, надо отдать должное.
     

  • 1.21, Михрютка (ok), 18:54, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > Rust поддерживает смесь императивных процедурных и объектно-ориентированных
    > методов с такими парадигмами, как функциональное программирование и модель акторов, а
    > также обобщённое программирование и метапрограммирование, в статических и динамических
    > стилях.
    > -   Мультипарадигмальный, функциональный, императивно-процедурный, объектно-ориентированный,
    > поддерживающий параллельную actor-модель;

    ага. вот кто стащил у меня краткий словарь айтишных баззвордов.

     
  • 1.25, Директор Чума (?), 21:02, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Чем оно от эрланга отличается?
    - Immutable
    - Мильярд легковесных процессов
    - Модули
    - Сборка мусора

     
     
  • 2.26, Аноним (-), 21:25, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Чем оно от эрланга отличается?

    Производительностью на уровне C.

     
     
  • 3.45, kwaker (?), 22:05, 02/10/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Вы так говорите, как будто производительность на уровне Си - это плохо.
     
  • 2.28, Аноним (-), 21:49, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • +/
    > Чем оно от эрланга отличается?
    >  - Immutable
    >  - Мильярд легковесных процессов
    >  - Модули
    >  - Сборка мусора

    Сборка мусора была вынесена еще летом из самого языка в стандартную библиотеку. В самом языке осталисть только smart pointers.

     

  • 1.29, kai3341 (ok), 22:04, 27/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    ИМХО очень интересный проект. Жду Rust 1.0
     
     
  • 2.30, anonymous (??), 23:12, 27/09/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > ИМХО очень интересный проект. Жду Rust 1.0

    Имхо, после стабилизации кодовой базы (Rust 1.0) надо будет еще лет 5 ждать, пока оно избавится от детских проблем языка и обрастет библиотеками.

     

  • 1.31, Аноним (-), 04:30, 28/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Сишные обертки для языка делаются в полуавтоматическим режиме. Руками залезать приходится только для того, чтобы хитро покастовать нестандартные типы данные.
     
  • 1.37, Аноним (-), 18:17, 28/09/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    >>отличающийся поддержкой многопоточного рендеринга web-страниц
    >многопоточного рендеринга web-страниц

    Кошмар! Во что превратился web. И чем дальше тем хуже. Google Docs, ChromeOS...  HTML не для этого.

     
     
  • 2.38, ... (?), 18:57, 28/09/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    web != HTML
     
  • 2.44, Putinnvv2 (?), 11:45, 02/10/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Современные html5, css3 сайты просят много ресурсов для рендеринга страницы. Вот по этому стало модно перекладывать часть работы на GPU. Пока что реально это делают Chrome, IE9, IE10.
     

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



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

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