А толку ждать — момент уже упущен.

Ага, ведь zig, odin, ATS и прочие уже в ядре, да?.. Попасть в ядро — это вопрос не только технический, но и политический. Ну а если мы не в контексте ядра говорим, то раст может ещё и не взлетел прям полноценно, но позиции укрепляет: работу найти можно, крупные компании подключаются и т.д. Ничего этого у zig нет.

Дальше расту нужно будет конкурировать не только с архаическими С/C++ но и с модно-молодежными zig/odin/etc

Не вижу никаких предпосылок. Разве что какой-нибудь гугл поспособствует. Иначе без шансов.

Также, возможно, подтянутся (и станут доступнее) языки с theorem prover,

Было бы замечательно. Я как раз надеюсь, что языки с более мощными типами будут набирать популярность. Вот только в массе народ и хаскеля пугается, куда уж там Idris. Не говоря уже о том, что это языки со сборкой мусора (и из «мощных» языков таких большинство) — это не ниша раста. Во взлёт ATS не верю, но может действительно появится что-то более новое и модное/удобное.

Поживём увидим. Я бы поставил на то, что раст в ядро всё-таки протащат.

В 2010 году это был совсем не тот язык, что сейчас. Вести отсчёт имеет смысл с 1.0, а это 2015 год, что не так-то и давно.

А с Go-то что не так? Вроде как, вакансий немало и будущее языка вполне нормальным выглядит. Ну разве что гугл сами сделают замену ему, а Go забросят.

P.S. Пишу на расте четвёртый год, полёт нормальный.

Подтвердите, пожалуйста, мой аккаунт. Спасибо.

Мало, но есть. Например: hh.ru/vacancy/20106022

Rust — это Mozilla, Mozilla — это Firefox, Firefox тупит и тормозит. Будущего нет, учи плюсы.

Но ведь Firefox, в основном, как раз на плюсах и написан. (:

Про гнилую малину забавно. По моему, несколько надуманный повод для обид.