что решит некоторые проблемы с безопасностью

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

Но почему не на Turbo Pascal?

Видимо этот чувак не знает о PVS Studio. Нужно будет ему рассказать, сразу на сишечке кодить будет.

p.s. Идиот. Даёшь Basic!

Неплохое начинание. Ждём в продакшене.

Потому что нужно на HolyC.

К черту полумеры, давайте сразу на чистом асме для 8086.

fxd

К черту полумеры, давайте сразу на перфокартах.

переписки

С кем переписки-то? Переписывания тогда уж.

Нинужно в продакшене на расте!

Лучше бы прикрутил статические анализаторы, ICC, наконец-таки отрефакторил и вообще переписал на C++.

Всякой херней занимаются.

Главное, чтобы это не пошло в апстрим. Такие серьезные вещи как ядра, должны писаться на канонических языках, таких как C и Ассемблер.

Но продакшен не готов для раста.

Не верю

Пусть продемонстрируют работоспособность концепции на MINIX3. Там всего ~29000 строк кода на C.

Уже есть Redox OS.

системный вызов на Rust с ассемблерными вставками
с ассемблерными вставками

Это что-бы было ещё безопаснее?

Ну а если без шуток то это выглядит интересно

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

Более того, их даже один и тот же Вирт придумал.

Почему не на D?

Потому что это невзлетевшее говно уже нафиг не сдалось

А в Киеве дядька

Ну и как наличие Redox'а демонстрирует практическую возможность переписывания ядра ОС с C на Rust?

C Emacs'ом тоже самое делают.

Кому-то интересно поддерживать интерес к данному проекту: бумажные книжки до сих пор выходят в печать.

Ждем ебилдов

Он демонстрирует возможность написания ОС на Rust. Надо пояснять, что если что-то можно написать, то переписать готовенькое и отлаженное — проще?

Растоманы хотят, чтобы всё было переписано на расте, но сами этим заниматься не хотят - хотят чтобы за них это сделал кто-то другой, вот и цепляются ко всем подряд. Кстати, как там пионерская Redox OS поживает?

Я вот чего не понял, в принципе, ведь можно взять любой компилируемый язык и что-то переписать на нём. Да хоть бы и всё ядро гипотетически. Например на FreePascal, в чём тогда новость?

Объясните

Надо объяснять. Совершенно не обязательно, что написать drop-in replacement без багов возможно.

Win32API уже много лет открыто. Wine и ReactOS до сих не написаны.

https://www.redox-os.org/news/this-week-in-redox-20/

Из Redox больше всего интересует файловая система TFS.

ОС можно написать на любом компилируемом языке, поддерживающем низкоуровневые возможности, хотя бы через ассемблерные вставки прямо в языке или подключаемые линковщиком. А в общем-то даже и не на компилируемом языке можно писать ОС, если его VM может работать напрямую без ОС.

Поэтому не очень понятны восторги, что в них нового.

Очередной язык программирования с супермегазащитой?

Опять ухудшенный пересказ опеннета.

Опять вопль от судопоцмана.

что в них нового

Отличие от всяких паскалей и D, в том что у раста есть система владения и заимствования (ownership and borrowing system), которая предотвращает баги при работе с памятью.

А ещё есть ключевое слово, что бы всё это благолепие выключить нафиг.

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

Почему то у меня крутится в голове какая то нереальная прожёрливость кода на расте. Вроде как минимальной юникс-подобной системе на нём чтобы загрузиться в консоль нужно было как минимум 2 гига памяти, или даже больше, если я что то путаю.

Если это хотя бы на 1/1024 правда, то как это может быть приемлимой идеей?

Зависит от конкретной реализации и компилятора же.

Так что компилятор, что реализация на данный момент одна.

Ждем другого. Вообще, на мой взгляд, пока не появится минимум две реализации говорить о русте бесполезно, потому что его реализации не с чем сравнивать.

А ещё есть ключевое слово, что бы всё это благолепие выключить нафиг.

Неправда же?

На микроконтроллерах с килобайтами работает, чего на больших системах не будет?

Раст на микроконтроллерах?!

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

Раст на наноконтроллерах?!

fixed

На самом деле, надо поменять архитектуру фон-неймана на гарвардскую архитектуру. Сразу многие проблемы отойдут на задний план, например выполнение произвольного кода. IMHO.

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

Ну ты сравнил, джаву с GC и язык с ручным управлением памятью. Сколько сам выделишь, столько и потратишь, никаких сюрпризов.

Раст на микроконтроллерах?!

Не поверишь, но даже на 16 битных с 512 байт sram крутится без проблем.

Так память то компилятор выделяет, а не программер. Он пишет «Выдели мне место под массив 10 строк по 500 байт», а компилятор берёт, и выделяет 10Мб например.

Фрагментация останется

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

и это называется SOFTware? мне уже не смешно...

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

И это удивительно. Программеры ведут себя как ленивые админы?