TFS: аналог ZFS, написанный на Rust

язык не даст им сделать ничего плохого

Даст. Тут уже сто раз говорили, что Раст - не золотая пуля. Писать идиоматический растокод тоже надо уметь. Нормальный говнокодер при первых сложностях с борроу чекером просто напихает везде ансейфов, и вся безопасность накроется медным тазом.

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

неоптимальный код который будет тормозить и глючить.

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

И аргументы в стиле «не нравится не ешь» тут не работают, потому как тонны говнокода традиционно пишутся намного быстрее нормальной альтернативы. Стоит появится кривым тормозным драйверам которые пишутся быстрее, так сразу появится целая толпа говноедов их существование оправдывающих. И компании которые сейчас платят нормальным разработчикам быстренько смекнут, что нанять толпу макак вчера разрабатывавших чатики на электроне и быстрее и дешевле.

зато без уязвимостей.

Ну вот я сейчас на десктопе прямо очень обеспокоен уязвимостями в драйвере моей usb видеокамеры, видеокарты и BT-адаптера. Линуксовый десктоп юзерспейс вот сплошное решето, пусть пока пишут свой «зато без уязвимостей» код там.

Ну а на серверах безопасным языкам применение можно найти и без снижения порога вхождения.

кажется, я что-то такое где-то уже видел

Только разница в том что lua скриптовый язык с GC которого все боятся, а Rust компилируемый язык с производительностью близкой к C который все любят. *

* по результатам опроса stackoverflow

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

Покажи пример, как с помощью unsafe обойти борроу-чекер.

Самое страшное что могут натворить это неоптимальный код который будет тормозить и глючить. зато без уязвимостей.

Вспоминается анекдот про русского и титановые шары…

Покажи пример, как с помощью unsafe обойти борроу-чекер.

Легко:

https://is.gd/8sLfVk

Но за такое конечно надо сразу бить по рукам

Ловко. Но для чего менять структуру, если передаешь её по ссылке? Для маленького грязного хака, чтобы не пришлось код сильно переписывать?

Так как в моем примере делать вообще ни при каких условиях нельзя, это UB. Вместо этого нужно использовать UnsafeCell.

А вообще говнокодер может написать такой код потому что «&» легко раздать нескольким потокам в отличие от «&mut».

Более того: на C это делать лучше, так как прошивки для устройств нередко на C написаны.

Некоторые даже на диалекте бейсика пишут!

Интересно, кстати, почему до сих пор нет ОС на плюсах..

Есть. Называется Windows.

Вот сорцы ядра Windows: https://github.com/markjandrews/wrk-v1.2

И где там С++?