"Constraints as power" describes the proposition of all statically typed languages. But the compilers of popular languages weren't smart enough to cover many common scenarios, forcing language designers to offer many unsafe escape hatches.
I worry about the more ardent Rust enthusiasts because it seems popular in those circles to embrace an attitude that we’ve somehow arrived at the right conceptual framework.
Rust is a competent, pragmatic embedding of a few of the big ideas from serious PLT into a well-optimized C++ compiler toolchain, and it’s cool and useful as a result.
But I hope to God it’s not the endgame on fast ML/Haskell/Lisp.
But I'd be even more disappointed if the best language people are writing software in when I retire isn't even Rust.
Naturally one can argue they weren't popular, with exception of Object Pascal.