The OpenNET Project / Index page

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



"Предложение по обсуждению вопроса добавления в ядро Linux средств для разработки на языке Rust"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Второй уровень иерархии тем в форуме реализован через вкладку "Показ ключевых тем".
. "Предложение по обсуждению вопроса добавления в ядро Linux ср..." –2 +/
Сообщение от Ordu (ok), 10-Июл-20, 17:01 
> 1. Небезопасный Раст - это чистый Си с проверками на безопастность. Никто, чистый Си без дополнительных инструментов не использует.

Небезопасный раст если и безпаснее Си, то только потому, что там нет UB. А безопасный раст -- это не просто статический анализатор накручен сверху C, это когда задумка программиста описывается типами и алгоритмами. То есть в типах кодируются многие ограничения на то, что можно делать, а что нет. В случае C такие ограничения могут существовать только пока программист на C о них помнит.

> 2. Я против, не потому-что Раст сложен. А потому-что, на какой-то стадии появится опасная возможность использования 2 компиляторов для компиляции ядра Линукса.

Чем же она опасна, эта возможность? Может ты хотел сказать "неприятность, в виде необходимости использования двух компиляторов", а слово "опасность" просто ассоциацией к C выскочило?

> 3. Для компиляции ядра Линукса не используются сишные библиотеки. А если Растаманы в каких-то компонентах пожелают использовать рантайм-библиотеки?

Что значит "не используются"? В ядре куча всяких разных библиотек. И написаны они на C.

> 4. Пусть Растаманы пилят свой Redox и пусть Раст не выходит за пределы экосистем Redox и Servo.

Мечтай дальше. Твои хотелки нас не остановят.

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Предложение по обсуждению вопроса добавления в ядро Linux средств для разработки на языке Rust, opennews, 10-Июл-20, 12:49  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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