Welcome to Comprehensive Rust
I still play with Rust (and Zig), but I have decided to put my work efforts into SPARK[1], the subset of Ada, for high-integrity software and formal verification. I know AdaCore and Ferrous Systems are collaborating in trying to bring a lot of Ada&#x2F;Spark&#x27;s capabilities to Rust, but this is still going to be some time. Ada has a longer legacy in this game.<p>I am working on safety critical control systems and there is a lot to prune from existing work in this area in SPARK and Ada.<p>This book[2], &quot;Building High Integrity Applications with SPARK&quot; really sold me on the benefits. It is a great intro of how SPARK was used for the CubeSat program at Vermont Technical College (VTC). A CubeSat was successfully launched in 2013. I could not find any critical mission software written in Rust yet especially that far back.<p>I found Julia&#x27;s selection for a flight collision avoidance system perplexing[3], but it proves a PLs syntax and evangelism (maybe not in this case), can bias a selection of a PL for such tasks.
People find Ada&#x2F;SPARK&#x27;s syntax and methods verbose and similar to Pascal or other PLs, however, I was up and running quickly in it as opposed to Rust.<p>You can program to bare metal in SPARK, and the tools are already there to provide high-integrity software. The tools for SPARK automate most of the verification. Most of Rust&#x27;s wishlist is already in SPARK (and Ada). I hope the Ferrous Systems and AdaCore collab bears fruit for Rust, but I have been programming since 1978, and I play with many PLs, but I found Rust&#x27;s initial learning curve very off putting and I don&#x27;t have the time to wait for it to mature to SPARK&#x27;s level. And this is from someone who loves J&#x2F;APL&#x2F;BQN and Lisp, so I have no issue with different programming paradigms. I found Zig much easier to get things done from the start, although it does not strive to be a SPARK or Rust.<p>[1]  <a href="https:&#x2F;&#x2F;www.adacore.com&#x2F;sparkpro" rel="nofollow">https:&#x2F;&#x2F;www.adacore.com&#x2F;sparkpro</a><p>[2]  <a href="https:&#x2F;&#x2F;www.amazon.com&#x2F;Building-High-Integrity-Applications-SPARK&#x2F;dp&#x2F;1107040736" rel="nofollow">https:&#x2F;&#x2F;www.amazon.com&#x2F;Building-High-Integrity-Applications-...</a><p>[3]  <a href="https:&#x2F;&#x2F;juliahub.com&#x2F;case-studies&#x2F;lincoln-labs&#x2F;" rel="nofollow">https:&#x2F;&#x2F;juliahub.com&#x2F;case-studies&#x2F;lincoln-labs&#x2F;</a>