Oh, on Rust being a panacea: here are the areas of the language which are currently a bit under-specified <a href="https:&#x2F;&#x2F;github.com&#x2F;rust-lang&#x2F;rfcs&#x2F;blob&#x2F;master&#x2F;text&#x2F;1122-language-semver.md#underspecified-language-semantics" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;rust-lang&#x2F;rfcs&#x2F;blob&#x2F;master&#x2F;text&#x2F;1122-lang...</a><p>Surprise: Rust is not a panacea :)<p>There is, however, a lot of work being done into formalizing Rust. It&#x27;s just started, however. Hopefully we will end up with a lot of things being formalized someday in the future. Like all efforts, it&#x27;s gonna take a lot of time.