Sealed Rust: A plan to bring Rust to safety critical software domains
> Funding
> We expect this to be a significant undertaking (likely many full time developer-years of effort), and as such, it is something that will require paid effort to make real.It is an ambitious undertaking, but strikes me more like a way to try to make more money off of Rust.It is definitely a moonshot since Ada has a 35-year lead here since it has been used for critical systems since the 1980s.  Ada 2020 will be out soon and pulls in several of the innovative ideas that Rust pioneered.I am not saying that it is not possible, I am just skeptical of the reasons for trying to push Rust in the critical systems direction so suddenly.