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

Поэтому используете раст, где сплошные сказки про безопасность, а реальные механизмы сводятся к профанации?

> И чтобы код был как можно качественнее.

О да, поэтому надо использовать раст, который разрабатывало 1,5 специалиста и орава студентов во время учебы.

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

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

> И просто для понимания, по состоянию на сейчас в линух домерживают последние оставшиеся патчи проекта RT_LINUX. Которые, как вы понимаете, совсем не для красоты.

Как раз для красоты. Раст вызвал бурю негодования, а Линус как обычно решает проблему методом выживания - кто выживет, того и оставят. Он всегда так делал и с более худшими решениями и это весьма неплохая стратегия.

> Да что там, отсутствие багов в ядре актуально даже на обычном десктопе, потому что порушенная В ЯДРЕ рама может накрыть структуры файлухи, с чудной кончиной ОС или потерей данных, или уронить систему в панику.

Только хруст не избавляет от багов, а только добавляет их.

> В этом месте дидам надлежит познать тао antibug coding - или уйти.

Так дедов нет уже. Не пишут они уже код. Деды это вы.
Для начала antibug coding должен быть читаемым, а не быть изотерическим ЯП с магическими символами из...начала двухтысячных. О да, раст создан дедом на основе языков дедов и изначально вообще был наколеночным проектом для полтора пользователей, это потом в мозилле в спешке начали править синтаксис. Результат на лицо. А вы тут про антибаг кодинг...

> Как исправивший ряд вулнов в их чудном коде говорю.

Осталось дождаться пока ваше чудное исправление кто-то посмотрит и найдет в нем баг.

> Люблю дидов, int в индексах, пофигизм на проверки входных параметров функции и валидацию математики, неструктурированные апи и void* в каддой дырке, так что ни я ни компилер даже в проекте не разберемся что реально хотел засабмитить кодер - за отсутствием аннотаций намерений.

И все это человеческие проблемы, которые раст может решить примерно никак.

> В том числе с UB, жестко оговоренным размером типов без разночтений вместо "int" е...чего. А еще у си вообще довольно много странной фигни в стандартах. Скажем integer promotion. Или формат представления знаковых - разные варианты при этом и результирующий UB при врапе. Это уж совсем незачет.

Только вот UB это по сути unsafe для разработчиков компиляторов. Но unsafe в расте это "модно и необходимо", а UB в си это "деды понаписали".