4 ms·
https://ferrous-systems.com/ferrocene/ https://ferrous-systems.com/ferrocene/ This?
by woile 2y ago
https://ferrous-systems.com/ferrocene/ https://ferrous-systems.com/ferrocene/
This?
- eggy 2y agoI was following this ever since I had read about AdaCore collaborating with Ferrous Systems on this, however, it is for the compiler. If they created a published Rust standard specific to their compiler then maybe, but I think there needs to be a general Rust standard comparable to other PL standards to start to encroach on the Ada/SPARK2014 world and a whole lot of real-world apps over time.