Если станет быстрее - то почему бы и нет ?

заводы стоят а они ядро переписывают

Если поддержка Эльбрусов и Байкалов на уровне ОС и компиляторов не взлетит, то заводам незачем будет не стоять.

Если вы о unsafe, то там тоже некоторые проверки остаются. То есть содержимое блока unsafe не превращается в сишку.

А некоторые проблемы с безопасностью переписыванием на том же С совсем никак не решаются?

Так память то компилятор выделяет, а не программер.

Шта?!

C и безопасность не совместимы.

Уже есть Redox OS.

Дальше бутскрина есть свет?

Гардвардская архитектура больно тормозная. Победа здравого смысла будет только при переходе на стековый процессор, чего стоит даже почти бесплатное переключение контекста в нем.

В Rust'е даже нет зависимых типов, чего там уже говорить о различных штуках типа CoC. Как они формальную верификацию сделают нормально тогда? А без формальной верификации и безопасность будет не ахти. В общем, растаманы-с.

Мне казалось, что только на асембере программер вынужден рассчитывать адреса в памяти. Во всех языках этим занят компилятор.

У вас очень странные представления о програмированнии.

Rust пытается защитить от ошибок работы с памятью. Ни о какой верификации речи не идёт.

т.е. линукс небезопасен по определению?

Любая прога на C/C++ небезопасна по определению. Количество уязвимостей тому доказательство.

Может быть. Но я пока ещё не видел C++ кода, где явно указаны адреса в памяти. Как и любого другого кода с явно указаными адресами.

Вы просто не программировали для встроенных применений?

Да.

А жаль. Верификация весьма рутинная вещь, можно было за одно сделать. Правда чего-то в этом контексте мне нравиться монолитное ядро. От каких, кстати, ошибок с памятью оно защищает? Там же по сути, ничего кроме линейной логики (и линейных, аффинных типов) и нет такого? Как-то случайно, кстати, обнаружил линейные зависимые типы, весьма интересная штука, надо глянуть.

То есть, конечно, не нравиться монолитное ядро в контексте формальной верификации.

Надо идти спать, уже неделю не спал. Ошибки в тся/ться это смешно.

очередной упырь

потенциальная возможность и реализация это 2 разных вещи. даже если взлетит, то придётся знать десяток языков для разработки ядра. поэтому не взлелит, уже пробовали netbsd + lua

Лучше бы взялись за переписывание systemd. Там-то как-раз и были уязвимости, которые смог бы предотвратить раст. А за некоторое время полностью бы всё вошло бы в systemd, линукс стал бы не нужным и всё бы было на расте.

там таки раст со вставками асма или асм со вставками раста? лень читать

И проблему линукса вообще окончательно.

в голосину!

есть проект Oberon, синтаксис языка программирования которого очень близок к языку Pascal.

ну надо же.., а автор Trubo Pascal - очень похож на автора Oberon..

то и другое, со вставками французского http://www.teladiai.re/public/licences/BiPu_L.pdf

Например на FreePascal

и да, на Pascal линукс чувствовал бы себя гораздо лучше!

меня всё умиляет численность любителей Си.. жаль только что численность не значит качество.. не все столь самокритичны.

Учись, пейсатель.

Но это же... Гогно, а не текст. Реально, мой лучше, верните первоначальный вариант, кто-нибудь, а также лишите судопоцмана корректорских прав.

Адреса явно не указаны, но количество выделяемых байт указанно явно. Вот, например, си:

int * foo = malloc(100500 * sizeof(int));

Ну, честно говоря, в твоих правках я насчитал 2 пунктуационные ошибки, а в оригинальном тексте - 1. Стилистически оба текста - говно. То есть особо ничего не поменялось.

Очень пагубные идеи. Поддержка двух даже совместимых компиляторов — жуткая боль. Ядро Linux до сих пор clang собрать не могут толком

Пусть переписывают, хоть код можно будет в IDE нормально загрузить и изучать.

Французские хипстеры в деле. Вот и до ядра добрались.

Ядро Linux до сих пор clang собрать не могут толком

кстати раст ведь вроде фронт для llvm, нет?

чтобы загрузиться в консоль нужно было как минимум 2 гига памяти

Интересно, откуда данные.

Да, но объектники он генерировать может, а C ABI един. То есть скомпилировать растокод в объектник и слинковать с остальным сишным монолитом с помощью gcc — проблем нет.

Да и Rust это не Си, написание наколенных компиляторов к которому уже стало спортом, и не лисп. Язык очень сложный в реализации, распылять силы не особо имеет смысл.

Появления ICC и прочих заточенных компиляторов не произойдет потому что, как сказал upcFrost, компилятор Rust испльзует llvm как бэкенд кодогенерации, а сам применяет только специфичные для языка оптимизации.
Достаточно будет добавить нужный llvm target.

Тебе сказали учиться, а не шланговать. Безграмотная маня, употребляющая «переписку» вместо «переписывания» и совсем не умеющая в стилистику, не имеет права называть чей-то текст говном. Хотя эту толстоту и критикой-то не назовёшь, потому что ты даже не удосужился написать, чем же именно твоя урезанная копипаста опеннета с заменёнными на синонимичные словосочитаниями и оборотами и переставленными параграфами лучше.

словосочитаниями

пропущенные запятые

Эка тебя знатно порвало!

в твоих правках я насчитал 2 пунктуационные ошибки

Где же?

Стилистически оба текста - говно

Ну и как же будет выглядеть вариант с правильной стилистикой?

Интересно, как далеко и какими словами их пошлют в LKML

Для начала растовцам нужно научиться уважать существующие стандарты. Особенно двоичные.

Интересное заявление. Чем раст не уважает двоичные стандарты?
Экспортировать в C ABI умеет, деманглить умеет, даже FFI с магнлингом C++ есть.

I do not write code for a living. Nor do I study computer science in university.

Вот и весь секрет. Парень просто внезапно узнал, что не только из кода на Си можно получить объектный файл.

Парень решил немножечко хайпануть

Разве расто-хайп не закончился? Так никто ничего на нём и не написал, а Mozilla сдувается потихоньку. Думаю, в течении 2-3 лет они запустят процесс ликвидации. Возможно, оставят Foundation.

практика показала, что проще сделать новый процессор под старый код чем написать нормальный код под новый процессор.

Кстати, на (достаточно) высокоуровневых языках код переписывать не придется, только сам компилятор/интерпретатор. Другие времена на дворе.

Судя потому что всё еще появляются вбросы — не кончился.
Но вообще похоже, что утихает. Кто оценил язык — уже его используют, даже те, кто на ЛОРе поначалу вел агрессивную полемику против раста, по меньшей мере, оценили его вклад в развитие других языков, а кто всё еще кидается говном в духе «С вечен, ненужно» — тех уже все равно не переубедить.

Хайп сделал свое дело, появляются вакансии, раст проходит в продакшн. Теперь дело за индустрией: либо взлетит, пусть и не так быстро как пропиаренный гуглом Go, либо потонет как D.

Поглядим, я для себя выбор уже сделал и еще ни разу не пожалел.