URL: https://www.opennet.me/cgi-bin/openforum/vsluhboard.cgi
Форум: vsluhforumID3
Нить номер: 91878
[ Назад ]

Исходное сообщение
"Выпуск языка программирования Rust 0.8, развиваемого проекто..."

Отправлено opennews , 27-Сен-13 15:49 
Разработчики из проекта 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


Содержание

Сообщения в этом обсуждении
"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 15:49 
Очередной молоток с лазерным наведением и пропеллером, но без совместимости с гвоздями.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 15:55 
> Очередной молоток с лазерным наведением и пропеллером, но без совместимости с гвоздями.

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 15:58 
> Очередной молоток с лазерным наведением и пропеллером, но без совместимости с гвоздями.

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



"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 16:11 
Все так плохо? На вид так замечательно... И интеграция с Си есть.
Жаль тулкита нет.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 21:45 
> но без совместимости с гвоздями

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено 123 , 27-Сен-13 16:14 
Go на мой взгляд гораздо лучше

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено YetAnotherOnanym , 27-Сен-13 16:31 
> Выражу всеобщее мнение

нет


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено vn971 , 27-Сен-13 16:31 
Мнение, претендующее на правильное, или собственное? Так или иначе, я бы сказал:
* Rust интересный
* В нём определённо есть фичи которых нет в Go

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Ушастик , 27-Сен-13 17:27 
Go это более серверный язык, с не очень шустрым GC, который все же устраивает Google. Для десктопа он может оказаться слишком медленным или вообще неприменимы, например для программ которые работают со звуком или видео, все будет замирать на время очистки памяти.

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено BratSinot , 04-Дек-13 00:56 
> с не очень шустрым GC

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено 1234567 , 27-Сен-13 17:46 
Go на мой взгляд гораздо хуже

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 28-Сен-13 12:28 
бессмысленно сравнивать Rust и Go, это совершенно разные языки для разных целей

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено BratSinot , 04-Дек-13 00:57 
> бессмысленно сравнивать Rust и Go, это совершенно разные языки для разных целей

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 16:21 
Выпустить браузер, создать язык программирования, и склепать ОС для мобильников  - программа минимум для корпораций в 21 веке.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 16:30 
Когда Firefox на него перепишут?

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено anonymous , 27-Сен-13 17:32 
Наверно, к моменту допиливания и релиза самого Rust:
https://github.com/mozilla/servo

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Crazy Alex , 27-Сен-13 16:44 
Отсутствие номинальной системы типов - это, кстати, грустно. Потому что круг, у которого есть x,y, length и квадрат с теми же параметрами - ни хрена не идентичны и никаких не определенных явно операций между ними быть не должно.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 16:59 
Ты с Go не перепутал?

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 28-Сен-13 12:32 
Go - строго типизированный язык, в котором отсутствует даже неявное преобразование типов. Даже если это синонимы

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 30-Сен-13 12:49 
Так это же в Go все интерфейсы неявно выполняются, а в Rust надо явно указывать, какие интерфейсы твой тип реализует (в Rust интерфейсы называются traits).

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 19:11 
length у круга?

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Анончик , 28-Сен-13 23:39 
Он подразумевал периметр

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 28-Сен-13 14:49 
Если у круга есть длина, это в любом случае грустно.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 01-Окт-13 17:32 
Представь себе у круга есть длина, Pi - это как раз длина круга деленная на его диаметр, просто так получилось что эта пропорция всегда выражается одним и тем-же числом для любых размеров.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Andrey Mitrofanov , 01-Окт-13 18:42 
> Представь себе у круга есть длина,

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 16:51 
Славно, что удачные идеи из ФП постепенно входят в мейнстрим. Лямбды, вывод типов вон даже к плюсам прикрутили. Теперь вон Rust, он прям как хаскель или ML с человеческим лицом. С одной стороны алгебраические типы, паттерн-матчинг, функции высшего порядка, иммутабельность по умолчанию. А с другой стороны всё без фанатизма и весьма практично. Мне нравится.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено некто , 27-Сен-13 17:23 
> Славно, что удачные идеи из ФП постепенно входят в мейнстрим. Лямбды, вывод
> типов вон даже к плюсам прикрутили. Теперь вон Rust, он прям
> как хаскель или ML с человеческим лицом. С одной стороны алгебраические
> типы, паттерн-матчинг, функции высшего порядка, иммутабельность по умолчанию. А с другой
> стороны всё без фанатизма и весьма практично. Мне нравится.

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено vn971 , 27-Сен-13 19:18 
Исправлю за товарища: ещё прекрасная модель акторов, которая позволяет хорошо решить многие задачи многопоточности.
(Проверено мной и не только, на маленьких проектах и не очень.)

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 17:51 
Вместо того чтоб пилить браузер мозилла страдает херней

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 17:52 
А ты ей запрети.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Анончик , 28-Сен-13 23:40 
А еще лучше - научи как правильно

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 18:01 
очередное изобретение Erlang с костылями от C-ей, в которые все и уперлось, увы ;(

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено vn971 , 27-Сен-13 19:21 
erlang не очень быстрый, насколько я понимаю, увы. Т.е. если performance-critical -- то не подходит. Хотя язык/платформа клёвые, надо отдать должное.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Михрютка , 27-Сен-13 18:54 
> Rust поддерживает смесь императивных процедурных и объектно-ориентированных
> методов с такими парадигмами, как функциональное программирование и модель акторов, а
> также обобщённое программирование и метапрограммирование, в статических и динамических
> стилях.
> -   Мультипарадигмальный, функциональный, императивно-процедурный, объектно-ориентированный,
> поддерживающий параллельную actor-модель;

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Директор Чума , 27-Сен-13 21:02 
Чем оно от эрланга отличается?
- Immutable
- Мильярд легковесных процессов
- Модули
- Сборка мусора


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 21:25 
> Чем оно от эрланга отличается?

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено kwaker , 02-Окт-13 22:05 
Вы так говорите, как будто производительность на уровне Си - это плохо.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 27-Сен-13 21:49 
> Чем оно от эрланга отличается?
>  - Immutable
>  - Мильярд легковесных процессов
>  - Модули
>  - Сборка мусора

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено kai3341 , 27-Сен-13 22:04 
ИМХО очень интересный проект. Жду Rust 1.0

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено anonymous , 27-Сен-13 23:12 
> ИМХО очень интересный проект. Жду Rust 1.0

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 28-Сен-13 04:30 
Сишные обертки для языка делаются в полуавтоматическим режиме. Руками залезать приходится только для того, чтобы хитро покастовать нестандартные типы данные.

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Аноним , 28-Сен-13 18:17 
>>отличающийся поддержкой многопоточного рендеринга web-страниц
>многопоточного рендеринга web-страниц

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


"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено ... , 28-Сен-13 18:57 
web != HTML

"Выпуск языка программирования Rust 0.8, развиваемого проекто..."
Отправлено Putinnvv2 , 02-Окт-13 11:45 
Современные html5, css3 сайты просят много ресурсов для рендеринга страницы. Вот по этому стало модно перекладывать часть работы на GPU. Пока что реально это делают Chrome, IE9, IE10.