Разработчики из проекта Mozilla представили (https://mail.mozilla.org/pipermail/rust-dev/2013-September/0... релиз Rust 0.8 (http://www.rust-lang.org/), экспериментального языка программирования со строгой типизацией, сфокусированного на безопасной работе с памятью и обеспечению высокого параллелизма выполнения заданий (возможность порождать тысячи и даже миллионы подпроцессов). Исходные тексты проекта распространяются (https://github.com/mozilla/rust/) под лицензией MIT. Параллельно с Rust совместно с компанией Samsung развивается экспериментальный браузерный движок Servo (http://www.opennet.me/opennews/art.shtml?num=36576), написанный на языке Rust и отличающийся поддержкой многопоточного рендеринга web-страниц и распараллеливанием операций с DOM (Document Object Model).По структуре язык Rust напоминает C++, но существенно отличается в некоторых деталях реализации синтаксиса и семантики, а также ориентацией на блочную организацию структуры кода, которая позволяет реализовать задачи в виде легковесных сопрограмм. Автоматическое управление памятью избавляет разработчика от манипулирования указателями и защищает от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей, выход за границы буфера и т.п. Rust поддерживает смесь императивных процедурных и объектно-ориентированных методов с такими парадигмами, как функциональное программирование и модель акторов, а также обобщённое программирование и метапрограммирование, в статических и динамических стилях.
С момента прошлого выпуска внесено около 2200 изменений (https://github.com/mozilla/rust/wiki/Doc-detailed-release-no.... При подготовке новой версии была продолжена работа по приведению в порядок и расширению стандартной библиотеки функций. Внесено несколько незначительных изменений в язык. Ключевое слово "for" теперь может работать с типами итераторов (Iterator). Переработаны runtume-компоненты и планировщик задач. Добавлена новая экспериментальная подсистема ввода/вывода. Добавлено семейство макросов "format!" для форматирования строковых данных, которое заменило собой макросы "fmt!".
Базовые возможности языка:
- Ориентация на безопасность:
- Аккуратная работа с памятью - никаких нулевых и потерянных указателей. Автоматическое управление памятью;- Контроль изменчивости. Объекты неизменяемы (Immutable) по умолчанию;
- Безопасность динамического выполнения: обработка сбоев, исключения, ведение лога, RAII / dtors;
- Typestate: возможность определения сложных инвариантов, контролирующих структуры данных.
- Ориентация на параллельность и эффективность кода:
- Явный контроль памяти, контролирование схемы распределения памяти;- Крайне легкие задачи, формируемые в виде сопрограмм. Лёгкость в порождении тысяч и миллионов подпроцессов;
- Итераторы стека (фактически лямбда-блоки без распределения кучи);
- Статическая, нативная компиляция с созданием исполняемых файлов ELF, PE, Mach-o;
- Прямой и простой интерфейс для кода на языке Си;
- Ориентация на практическое применение:
- Мультипарадигмальный, функциональный, императивно-процедурный, объектно-ориентированный, поддерживающий параллельную actor-модель;- Функции первого класса с биндингами;
- Нет номинальных типов (http://en.wikipedia.org/wiki/Nominative_type_system) или иерархии типов;
- Мультиплатформенный, поддерживается Windows, Linux, Mac OS X, *BSD;
- Хранение строк в UTF8, разнообразие низкоуровневых типов;
- Работает с существующими нативными наборами инструментов: GDB, Valgrind, Shark и т.д.;
- Практическая возможность нарушения правил: возможность игнорирования правил безопасности, если чётко указано, когда и как их нарушать.
URL: https://mail.mozilla.org/pipermail/rust-dev/2013-September/0...
Новость: http://www.opennet.me/opennews/art.shtml?num=38006
Очередной молоток с лазерным наведением и пропеллером, но без совместимости с гвоздями.
> Очередной молоток с лазерным наведением и пропеллером, но без совместимости с гвоздями.NIH вездесущ и заразен.
> Очередной молоток с лазерным наведением и пропеллером, но без совместимости с гвоздями.Ты просто не модный.
Все так плохо? На вид так замечательно... И интеграция с Си есть.
Жаль тулкита нет.
> но без совместимости с гвоздямиС "C ABI" он совместим. А друих стандартных кроссплатформенных и широко используемых ABI не существует.
Go на мой взгляд гораздо лучше
> Выражу всеобщее мнениенет
Мнение, претендующее на правильное, или собственное? Так или иначе, я бы сказал:
* Rust интересный
* В нём определённо есть фичи которых нет в Go
Go это более серверный язык, с не очень шустрым GC, который все же устраивает Google. Для десктопа он может оказаться слишком медленным или вообще неприменимы, например для программ которые работают со звуком или видео, все будет замирать на время очистки памяти.У Rust нету такой проблемы, памятью можно управлять как в C, но с другой стороны стандартная библиотека уж очень ущербная, чего не скажешь о Go, где из коробки есть практически все что надо, вплоть до парсинга JSON и универсального SQL-интерфейса.
> с не очень шустрым GCС чего вы взяли что он не очень шустрый? Да и потом, они относительно недавно наняли известного человека по GC (какого точно не помню) и уже в 1.2 пара его улучшений есть, остальные ожидаются в 1.3.
Go на мой взгляд гораздо хуже
бессмысленно сравнивать Rust и Go, это совершенно разные языки для разных целей
> бессмысленно сравнивать Rust и Go, это совершенно разные языки для разных целейХорошо сравнили, учитывая что в Rust еще 100 раз все поменяться может.
Выпустить браузер, создать язык программирования, и склепать ОС для мобильников - программа минимум для корпораций в 21 веке.
Когда Firefox на него перепишут?
Наверно, к моменту допиливания и релиза самого Rust:
https://github.com/mozilla/servo
Отсутствие номинальной системы типов - это, кстати, грустно. Потому что круг, у которого есть x,y, length и квадрат с теми же параметрами - ни хрена не идентичны и никаких не определенных явно операций между ними быть не должно.
Ты с Go не перепутал?
Go - строго типизированный язык, в котором отсутствует даже неявное преобразование типов. Даже если это синонимы
Так это же в Go все интерфейсы неявно выполняются, а в Rust надо явно указывать, какие интерфейсы твой тип реализует (в Rust интерфейсы называются traits).
length у круга?
Он подразумевал периметр
Если у круга есть длина, это в любом случае грустно.
Представь себе у круга есть длина, Pi - это как раз длина круга деленная на его диаметр, просто так получилось что эта пропорция всегда выражается одним и тем-же числом для любых размеров.
> Представь себе у круга есть длина,//А крестьяне всё ловились и ловились. Большие и маленькие...
Славно, что удачные идеи из ФП постепенно входят в мейнстрим. Лямбды, вывод типов вон даже к плюсам прикрутили. Теперь вон Rust, он прям как хаскель или ML с человеческим лицом. С одной стороны алгебраические типы, паттерн-матчинг, функции высшего порядка, иммутабельность по умолчанию. А с другой стороны всё без фанатизма и весьма практично. Мне нравится.
> Славно, что удачные идеи из ФП постепенно входят в мейнстрим. Лямбды, вывод
> типов вон даже к плюсам прикрутили. Теперь вон Rust, он прям
> как хаскель или ML с человеческим лицом. С одной стороны алгебраические
> типы, паттерн-матчинг, функции высшего порядка, иммутабельность по умолчанию. А с другой
> стороны всё без фанатизма и весьма практично. Мне нравится.еще про эрланг забыли как-то
Исправлю за товарища: ещё прекрасная модель акторов, которая позволяет хорошо решить многие задачи многопоточности.
(Проверено мной и не только, на маленьких проектах и не очень.)
Вместо того чтоб пилить браузер мозилла страдает херней
А ты ей запрети.
А еще лучше - научи как правильно
очередное изобретение Erlang с костылями от C-ей, в которые все и уперлось, увы ;(
erlang не очень быстрый, насколько я понимаю, увы. Т.е. если performance-critical -- то не подходит. Хотя язык/платформа клёвые, надо отдать должное.
> Rust поддерживает смесь императивных процедурных и объектно-ориентированных
> методов с такими парадигмами, как функциональное программирование и модель акторов, а
> также обобщённое программирование и метапрограммирование, в статических и динамических
> стилях.
> - Мультипарадигмальный, функциональный, императивно-процедурный, объектно-ориентированный,
> поддерживающий параллельную actor-модель;ага. вот кто стащил у меня краткий словарь айтишных баззвордов.
Чем оно от эрланга отличается?
- Immutable
- Мильярд легковесных процессов
- Модули
- Сборка мусора
> Чем оно от эрланга отличается?Производительностью на уровне C.
Вы так говорите, как будто производительность на уровне Си - это плохо.
> Чем оно от эрланга отличается?
> - Immutable
> - Мильярд легковесных процессов
> - Модули
> - Сборка мусораСборка мусора была вынесена еще летом из самого языка в стандартную библиотеку. В самом языке осталисть только smart pointers.
ИМХО очень интересный проект. Жду Rust 1.0
> ИМХО очень интересный проект. Жду Rust 1.0Имхо, после стабилизации кодовой базы (Rust 1.0) надо будет еще лет 5 ждать, пока оно избавится от детских проблем языка и обрастет библиотеками.
Сишные обертки для языка делаются в полуавтоматическим режиме. Руками залезать приходится только для того, чтобы хитро покастовать нестандартные типы данные.
>>отличающийся поддержкой многопоточного рендеринга web-страниц
>многопоточного рендеринга web-страницКошмар! Во что превратился web. И чем дальше тем хуже. Google Docs, ChromeOS... HTML не для этого.
web != HTML
Современные html5, css3 сайты просят много ресурсов для рендеринга страницы. Вот по этому стало модно перекладывать часть работы на GPU. Пока что реально это делают Chrome, IE9, IE10.