> Не, нам так не катит. Я хочу знать о своем и чужом коде истинное состояние дел а не пребывать в блаженном неведении под красивые сказки.Поэтому используете раст, где сплошные сказки про безопасность, а реальные механизмы сводятся к профанации?
> И чтобы код был как можно качественнее.
О да, поэтому надо использовать раст, который разрабатывало 1,5 специалиста и орава студентов во время учебы.
> Сейчас компьютеры и мк управляют АЭС, химпредприятиями, энергетикой, производствами, транспортом всех мастей и направлений. Наша цивилизация изменилась. И требования к коду стали в ряде аспектов здорово другие.
Если вы собираетесь доверить управление АЭС коду на си или тем более на расте без дополнительных органичений, то боюсь наша цивилизация скоро еще больше изменится.
> И просто для понимания, по состоянию на сейчас в линух домерживают последние оставшиеся патчи проекта RT_LINUX. Которые, как вы понимаете, совсем не для красоты.
Как раз для красоты. Раст вызвал бурю негодования, а Линус как обычно решает проблему методом выживания - кто выживет, того и оставят. Он всегда так делал и с более худшими решениями и это весьма неплохая стратегия.
> Да что там, отсутствие багов в ядре актуально даже на обычном десктопе, потому что порушенная В ЯДРЕ рама может накрыть структуры файлухи, с чудной кончиной ОС или потерей данных, или уронить систему в панику.
Только хруст не избавляет от багов, а только добавляет их.
> В этом месте дидам надлежит познать тао antibug coding - или уйти.
Так дедов нет уже. Не пишут они уже код. Деды это вы.
Для начала antibug coding должен быть читаемым, а не быть изотерическим ЯП с магическими символами из...начала двухтысячных. О да, раст создан дедом на основе языков дедов и изначально вообще был наколеночным проектом для полтора пользователей, это потом в мозилле в спешке начали править синтаксис. Результат на лицо. А вы тут про антибаг кодинг...
> Как исправивший ряд вулнов в их чудном коде говорю.
Осталось дождаться пока ваше чудное исправление кто-то посмотрит и найдет в нем баг.
> Люблю дидов, int в индексах, пофигизм на проверки входных параметров функции и валидацию математики, неструктурированные апи и void* в каддой дырке, так что ни я ни компилер даже в проекте не разберемся что реально хотел засабмитить кодер - за отсутствием аннотаций намерений.
И все это человеческие проблемы, которые раст может решить примерно никак.
> В том числе с UB, жестко оговоренным размером типов без разночтений вместо "int" е...чего. А еще у си вообще довольно много странной фигни в стандартах. Скажем integer promotion. Или формат представления знаковых - разные варианты при этом и результирующий UB при врапе. Это уж совсем незачет.
Только вот UB это по сути unsafe для разработчиков компиляторов. Но unsafe в расте это "модно и необходимо", а UB в си это "деды понаписали".
