Rust was originally developed at Mozilla Research and has gained increasing traction as a popular language to develop distributed computing applications. Major software providers such as Microsoft and Amazon have announced publicly their affection for the language and the fact that they are using Rust in house as a means to develop safety-critical software components. Even more tellingly, the language has been voted by developers “the most loved programming language” every year since...