4 ms·

> Do you think there's any potential for rust to gain a competitive advantage in safety critical systems? There already is a solution for heavily safety-critic

> Do you think there's any potential for rust to gain a competitive advantage in safety critical systems? There already is a solution for heavily safety-critical systems and it's got 40 years of industry track record it's called Ada. [0] I don't mean to sound dismissive but there is such a treasure trouve of battle tested industry learned experience in the Ada standard, it really is worth learning and considering.[1] Ada has had four standards in almost four decades. For anyone in industry this pace is adequate and all of those standards were truly value adding without any disruption to legacy systems. This is not compatible with the pace at which most Systems and Backend Rust enthusiasts want to move forward. I don't believe the two end applications/motivations can be merged under a single language or ecosystem despite many similarities. [0] https://www.adacore.com/industries https://www.adacore.com/industries [1] http://www.ada-auth.org/standards/12rat/html/Rat12-TOC.html http://www.ada-auth.org/standards/12rat/html/Rat12-TOC.html

dataangel 5y ago
How do you go about learning Ada without working in aerospace or a defense contractor? I've never organically run into any software in my daily life or using OSS that it is written in it. I know some exists, but it seems to be an incredibly isolated island disconnected from any of the other major programming ecosystems: web, HPC, games, CRUD business apps, finance/trading, embedded (outside aerospace/defense) etc. I don't know of a single major project in any of those fields written in Ada. I work in finance and have interviewed hundreds of programmers working on systems moving billions of dollars around at this point and not once have any of them ever mentioned having worked with it. I am skeptical they have as much to learn from Ada as vice versa, since Ada seems cut off from the majority of brains.

dataangel 5y ago

How do you go about learning Ada without working in aerospace or a defense contractor? I've never organically run into any software in my daily life or using OSS that it is written in it. I know some exists, but it seems to be an incredibly isolated island disconnected from any of the other major programming ecosystems: web, HPC, games, CRUD business apps, finance/trading, embedded (outside aerospace/defense) etc. I don't know of a single major project in any of those fields written in Ada. I work in finance and have interviewed hundreds of programmers working on systems moving billions of dollars around at this point and not once have any of them ever mentioned having worked with it. I am skeptical they have as much to learn from Ada as vice versa, since Ada seems cut off from the majority of brains.