Comment by vatsachak

Yeah, I use Rust at work and it's a boon.

It's so easy to bake in proofs/invariants into types, yet you still retain control of the memory model.

One of the main features of Rust is the community, there are so many great packages

Something that will replace/build on Rust in the future is a language based on Two Level Type theory, where you have zero cost abstractions with a language that can do full dependent type theory