>С# - безопасный и достаточно системный язык (на нем тоже ОСь написана, - singularity, - не менее безопасная чем почти почивший redox).

И Java безопасна и при грамотном использовании выдает быстрый код, и на ней ОС написана, но ее не примут в ядро Linux по тем же причинам что и C#.

>> Либо широкий и пространный код (как в SPARK), либо плохо читаемый (Без обучения языку.
>Еще раз - глупости.

Что конкретно глупости? SPARK сорсы выдают кода в 1,5 раза больше на смысловую единицу - это общеизвестный факт. За все приходится платить.

Если вы считаете что можно выдать изящный код тогда давайте контрпример. Покажите системный язык со статической типизацией, без форсированного сборщика мусора (чтобы показать его системность - скорость исполнения), с подобием трейтов (интерфейсы), возможностью написания обобщенного кода и похожими гарантиями безопасности. Мне лично кроме Ada ничего на ум не приходит.

В любом случае можно обойтись без интерфейсов и дженериков. Код будет выглядеть как на Си или Go. И будет таким же безопасным как написанный на Ada.

>Но это не причина все превращать в регэкспы и тем более не причина утверждать что так и надо.

Вы так и не показали что конкретно вы бы переделали, если бы хотели сделать Rust красивей. Дело в том что при проектировании каждую закорючку в языке обсуждали с боем на Github. Там велись дискуссии размером с маленькие справочники. Я склонен считать что они нашли золотую середину для программистов на Си/С++.

>Все. Я бы все выкинул на помойку и сделал С++++ или C## с борроу-чекером.

Вам бы пришлось вводить явные лайфтаймы. Куда запихаете? Как они будут выглядеть?

>Пххх. "А как мне вывести хелловорлд на печать, такой глупо-сложный язык что никак не могу понять". Успех (с)

Все мы похожее спрашивали. И уже тогда нас считали частью коммьюнити. Сейчас они спрашивают, потом внесут вклад.

>А толку, если технический долг активно делает все эти библиотеки мертвым грузом?

Так можно про любой язык написать. Редакции с новыми возможностями выходят и в крестах. В крайнем случае, если автор потерялся (что уже само по себе плохо для любой библиотеки) можно будет форкнуть проект и поправить там несколько строк для перехода на новую редакцию. Если не собираешься переписывать с новыми фичами. Не было пока таких изменений в Rust, которые бы потребовали серьезного глобального рефакторинга для получения совместимости с новой редакцией.
К тому же существует специльный гайд и утилита cargo --fix https://doc.rust-lang.org/edition-guide/rust-2021/prelude.ht...
Есть примеры более-менее крупных проектов которые используют Rust:
rust-lang 1.78 млн. LOC, redox 1.33 млн., diem 300 тыс., tikv 300 тыс., Veloren 200 тыс. (данные годичной давности)
Можно надеяться что чем больше будет таких проектов, тем проще будет поддержка в будущем.