Состоялся (https://blog.rust-lang.org/2016/08/18/Rust-1.11.html) релиз языка программирования Rust 1.11 (http://www.rust-lang.org), развиваемого проектом Mozilla, обеспечивающего автоматическое управление памятью и предоставляющего средства для высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime. Параллельно с Rust совместно с компанией Samsung развивается экспериментальный браузерный движок Servo (https://www.opennet.me/opennews/art.shtml?num=44712), написанный (https://github.com/servo/servo/) на языке Rust и отличающийся поддержкой многопоточного рендеринга web-страниц и распараллеливанием операций с DOM (Document Object Model). В состав нового выпуска принято 1109 изменений от 126 разработчиков, среди которых (https://github.com/rust-lang/rust/blob/master/RELEASES.md):
- Проведена большая работа по приведению в порядок внутренностей компилятора в процессе подготовки перехода на новую модель трансляции, основанную на дополнительном промежуточном представлении MIR (https://blog.rust-lang.org/2016/04/19/MIR.html) (mid-level IR), применяемом после HIR (high-level IR), но перед LLVM IR. Также ведётся подготовка к реализации режима инкрементальной компиляции (https://github.com/rust-lang/rust/pull/34956), допускающей использование неизменившихся объектных файлов;
- В пакетный менеджер Cargo добавлена поддержка представленного в прошлом выпуске нового формата исполняемых контейнеров (crate type) cdylib (https://github.com/rust-lang/rust/pull/33553), который рассчитан на компиляцию динамических библиотек, предназначенных для встраивания в программы на других языках.
В Cargo.toml теперь допустимо указание 'crate-type = ["cdylib"]';
- В стандартной библиотеке проведена замена предлагаемого по умолчанию метода хэширования - вместо ранее применяемого SipHash 2-4 (https://en.wikipedia.org/wiki/SipHash) задействован SipHash 1-3, который значительно быстрее, но потенциально менее стоек к возможным новым атакам, связанным с использованием коллизий (в настоящий момент проблем нет);
- Добавлена поддержка вложенных атрибутов cfg_attr и возможнсть работы cfg_attr с атрибутами path;
- В разряд стабильных переведена новая порция функций и методов. В BinaryHeap, BTreeMap и BTreeSet добавлен метод append. В libcore включены методы to_degrees и to_radians. В Iterator добавлены методы sum и product. В Cell и RefCell добавлен метод get_mut.
Из последних успехов Rust можно упомянуть включение (https://www.opennet.me/opennews/art.shtml?num=44776) первых компонентов, написанных на Rust, в основной состав Firefox 48, а также первый выпуск проекта Way Cooler (https://github.com/Immington-Industries/way-cooler), в рамках которого развивается написанный на Rust композитный менеджер для Wayland. Way Cooler может выступать в роли оконного менеджера с поддержкой мозаичного режима с управлением в стиле i3 (https://ru.wikipedia.org/wiki/I3). Поддерживается подключение расширений на языке Lua и запуск X-приложений через XWayland.
Напомним, что язык 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: https://blog.rust-lang.org/2016/08/18/Rust-1.11.html
Новость: http://www.opennet.me/opennews/art.shtml?num=44999
