>The current state of Rust is a moving target for such tools and design methods. Publish a formal language standard first.

Would it be just easier to use something like OCaml? where it offers the memory safety and a mature language.