static const struct {
    int (* const out)(const char*);
} f = { puts }, * const std = &f;

int main(void) {
    std->out("Hello World");
}

Мир сортов gnu hard/bsd* вас заждался, там столько драйверов не написано...

То ли дело, когда ядро было прибито к одному языку, причем довольно протухшей версии, и к одному pacово-верному гнутому компилятору и его ЕЕЕшным экстеншенам. Причем ушли годы на то, чтобы избавиться от гнуракового вендорлока и позволить собирать ядро свободным компилятором.

Вот это была настоящая децентрализация!))

и таки раст жрёт столько памяти, что это само по себе можно считать утечкой

Так вот кто тут оценивает rust в ядре...

ложь, не меняем

вендорлочимся. всё. и только.

помогает снизить только квалификация разработчика.

Что за язык?

А у вас есть такой язык??? Почему же вы никому не сказали?!
Я тут где-то расписывал, сколько стоила формальная верификация seL4 микроядра.
И цифры там весьма печальные...

Так что если бы у вас бы язык, который гарантирует (именно гарантирует) отсутствие логических ошибок и состояний гонки, то вы бы уже были миллиардером.

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

Если у них в ядре проблемы с race condition, значит они сами что-то там поноворотили и теперь пытаются это разрулить.

Пoпка не треснет от натуги?

ты-то уже четыре ядра на пяти разных удобных языках написал?

> попусту, при том что вам собственно говоря никто ничего и не

поэтому переходите на винду. Там тоже ничего не обещали, но и шва6одку не впаривали хотя бы.

А ты получается не луддит? А в чем именно? В том, что просто пользуешься кем-то написанным кодом?

ядерные модули - это вполне себе вот динамическая линковка, с поиском символов и их разрешением. Просто не через обычный ld-linux.so
Ну как обычно - просто переписькиватели соберут свой код в комок с линуксным интерфейсным кодом на немодном языке. Обложат его unsafe и будут безопастно мигать светодиодиками.

> ни crates

crates пока Б-жок с Пальцем им запретил.
Он тоже не очень хочет чтобы проект зависел не только от его личной подконтрольной инфраструктурки.

Как и любимый ими panic! и много чего еще - они думаешь чего так долго не могли даже светодиодиками мигать. Но нет ничего невозможного, когда за спиной стоят бесконечные деньги.

В чем выражается эта дырявость?

Да, сишники любят велосипеды без седла) Все потому что обожают dыpeни!
А заодно и без тормозов, и чтобы колесо было деревянное оббитое жестью.

> На нём ты можешь делать

любую х=ню

> и гнать с любой скоростью

прямо в кювет.

Рад за тебя. Лишние знания не помешают, особенно если речь про второй язык в ядре.

> Намного приятней чем Go

Немного странное сравнение.
У гошки область слегка другая.. но ок)

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

"Диды" могут всё, они уже доказали это не словом, а делом создав мир современного IT на Си. Просто никто не хочет лезть в ловушку.

Так большинство ошибок это и есть проблемы с памятью в связи с к̶о̶р̶я̶в̶о̶с̶т̶ь̶ю̶ особенностями языка Си.

cvedetails.com/vendor/33/Linux.html
Memory Corruption - 3171
Overflow          - 410

Вон Грег высказался в свое время
As someone who has seen almost EVERY kernel bugfix and security issue
for the past 15+ years ...
The majority of bugs (quantity, not quality/severity) we have are due to
the stupid little corner cases in C that are totally gone in Rust.

lore.kernel.org/all/2025021954-flaccid-pucker-f7d9@gregkh/

Вот человек пилит уже пару лет как. Возьми и поддержи его копейкой, раз такой принципиальный.

Нет, Си быстро и органично вошёл в мир IT, без какого-либо специального пропихивания, пиара и проплат.

Но с табами в мейкфайлах особенно хорошо вышло.

Зиг это та же убогая Сишка.
Но если ты так не считаешь, можешь начать добавление.
Вдруг у тебя получится)

Потому что язык задумывался как OCaml++ - немного контроля за памятью, немного юникода, опять макросы, "славная традиция ML"... а потом GC убрали, создатель языка ушёл, Mozilla отвалилась.

И когда из него стали делать убийцу сишки
> The grammar is not what I wanted. Sorry.
> It did not reason about lifetime compatibility nor represent lifetimes as variables ... They were supposed to all be inferred
> https://graydon2.dreamwidth.org/307291.html

Это вряд ли.
Скорее всего обязательной зависимостью сделают довольно несколько.
Просто будут такая ситуация:
- нам нужны дрова для Х
-- вот дрова - собирайте
- они на расте!
-- других нет))

Но раст будет ну совсем необязательным! Просто сидите без дров))