Эта статья - квинтэссенция срача.
Q. Безопасен ли Rust? Можно ли его использовать в проде?
A. Институт программных систем Общества Макса Планка плотно занимается этой проблемой в проекте под названием RustBelt. На январь 2018 формально(sic!) доказаны следующие постулаты:
- Система типов, принципы владения (ownership), времени жизни (lifetime) корректны
- Программа безопасна, если все участки кода внутри
unsafe
безопасны