Здравствуйте, kaa.python, Вы писали:

KP>В общем случае – да. В то же время, Rust дает тебе возможность получить такую гарантию в условных 90% случаев,

Что насчёт проверки границ? Крайне распространённый случай.

KP>в отличие от C++, который не дает такой гарантии никогда.

Гарантия есть при выполнении ряда условий, которые вполне авто-верифицируемые.
Но да, без явной границы safe/unsafe в самом языке.

KP>Думаю, выбор довольно очевиден

При прочих сферических равных (которых естественно нет) — да, лучше инструмент с явным safe/unsafe контролем.
Для безопасного языка я бы ещё предпочёл явное включение полноты по Тьюрингу для отдельных частей.