This is great news for the progress of rust language. As someone recently said on a subreddit, rust's real power is that it fills that remarkable empty sweet spot between the low-level, high performance (but memory unsafe) languages like C/C++ AND the high-level, low performance (but memory safe) languages like Python and Java. The scope here is tremendous provided the folks can cater to it and nurture an ecosystem of apps, libraries, frameworks, etc.
Tongue in check comment... as I am learning Rust for fun, mid-career, "high productivity" is not what I'd call the language. I like it, but I am half as fast as other similar languages to get the same results.
Jokes aside. I'd like to see a comparison of Rust vs. modern Ada.
I haven't touched Ada since college (i.e. in decades), but it has many nice features that C++ lacks. It's a pity that it isn't used outside specific circles.
I think Rust only really shines when you factor in the longer-term lifetime (pun unintended) of the code. If you’re just focused on how much time it takes to get something working — in other words, a PoC / MVP — it doesn’t seem surprising to me that it’s significantly slower.
The promise to me lies in the entire classes of errors you systemically prevent from happening (given no unsafe code) and just generally how much easier it is to write maintainable and bug-free code.
These mechanisms are part of a very broad set of tooling that slows you down short-term but pays off in huge quantities over any even medium-term timeframe in an actual business product intended to be long-living.
Granted, Rust has its tradeoffs just like any other language — from what I hear, refactoring and fighting the compiler in certain domains like gamedev gets annoying — but it seems much more positive than negative.
Good to see. Formal verification tools need to happen, and I hope they will be generalized to user-space, kernel, and embedded purposes. If FOSS, this would be amazing, but I suspect most of it will remain extremely expensive and shut out individual developers from the space.
> The consortium aims to develop guidelines, tools, libraries, and language subsets to meet industrial and legal requirements for safety-critical systems.
> Moreover, the initiative seeks to incorporate lessons learned from years of development in the open source ecosystem to make Rust a valuable component of safety toolkits across various industries and severity levels
Resources and opportunities for a safety critical Rust initiative:
