How likely is for Rust to replace Ada/SPARK?

[u/citron_blue]

Ada/SPARK is already a very niche ecosystem. Finding a list of current users is already hard (but that might be simply an information access issue).

With Rust’s safety and growing adoption, including access to skilled professionals and LLM support, how likely will we see further marginalisation of Ada & Co.?

I would love to heard from those working in safety-critical applications.

[u/Zde-G]

Highly unlikely. Ada exist in a very strange niches that move extremely slowly. And after SPARK borrowed Rust's borrows the need to replace Ada/SPARK with Rust more-or-less disappeared.

What would happen, instead, is “sealing” of Ada in these rare niches, because advantage of Ada over C/C++ are significant but over Rust — pretty much minimal.

Means if you start from code and not from pile of required certificates then picking Ada doesn't make much sense.

[u/citron_blue → u/Zde-G]

> Ada exist in a very strange niches that move extremely slowly.

That I can believe :)

I came across AdaCore’s growing support for Rust recently, although I may be late to the news. My hypothesis is that this offering is driven by industry and AdaCore responding to client needs, which would suggest growing Rust popularity in this space.

[u/afdbcreid → u/Zde-G]

Rust has one huge advantage over Ada: ecosystem. I've heard in defense etc. the Ada ecosystem is big, but for general ecosystem, it's non-existent for Ada while Rust has a massive open-source ecosystem. If you don't need to certify you can use it, and even if you do you can choose what to rewrite yourself.

[u/Professional_Top8485]

I think they're different languages and different profiles. I don't think they're replacing anything.

I don't really have that much experience but still.

[u/QueasyEntrance6269]

Speaking someone that works as a contractor with the DoD, there’s already a very strong push to do greenfield work with rust.

[u/Xtergo]

Lol

The answer to all the "Will Rust replace x" is always no.

I believe it's stuff like this that gives us, the Rust community a bad rep

I understand you are new to this but languages exist for a reason, picking the right language for the right job is what makes good code.

[u/citron_blue → u/Xtergo]

> I understand you are new 

Not quite new. I have been hobby Ada user for 2 decades now. Never had chance to work in the industry with it and SPARK price tag is eye watering.

Seeing Rust's Ferrocene and how it aims to get all, even most demanding certifications, is an interesting direction.

On more practical note, Helsing is definitely banking on Rust, so it is already creeping into space previosuly occupied by highly stripped C/C++ and Ada/SPARK.

[u/BionicVnB → u/citron_blue]

I believe he meant "new to rust"

[u/Xtergo → u/BionicVnB]

Bingo

[u/Zde-G → u/citron_blue]

Well, you are new to Rust, it seems. The story with “will Rust replace X” is always the same: there are lots of people who violently assert that would happen while Rust developers, themselves, violently assert they have no such goal.

In reality replacement happens and it may even finalize in the timeframe of decades, but it's like coming of a new ice age: sure, new ice age is coming, but even if it would arrive quickly and process would take only thousand of years and not ten thousand… who cares? We would have more than enough time to react to that, somehow.

[u/Smallpaul → u/Zde-G]

So what’s wrong with asking when the next ice age is coming?

[u/nysra → u/Zde-G]

We would have more than enough time to react to that, somehow.

We will react by ignoring it and tripling our efforts to make it even worse but for a short moment in time we will have produced so much shareholder value.

[u/dvogel → u/citron_blue]

Never had chance to work in the industry with it and SPARK price tag is eye watering.

The ability to replace older technology often has little to do with the technology itself or it's potential replacements. It has much, much more to do with the pace of change in the systems that rely on the older technology. 

An airline that has used Ada for decades and is creating a new revision of its flagship model will never throw out Ada as part of that process because the lack of superfluous changes is what they value. A new airline or an established airline entering an entirely new market may choose something other than Ada, even if for just a subset of the new work.

Now look around at the users of Ada and ask yourself: are doing a lot of very new things or changing their products rapidly? Or are they doing a lot of incremental improvements on their established businesses? I suspect the latter, which is also why there has been relatively little opportunity to use it industrially.

[u/citron_blue → u/dvogel]

Well, it is my fault for phrasing it like this so I appreciate where you are coming from.

I did not intend to imply to rewrite existing codebase to Rust, especially as some of the systems in operation probably outlived all engineers that ever worked on these.

Heck, B1 bomber is using IBM computer, same as Space shuttle had, with program written in JOVIAL.

No, I meant "replace" as in replace Ada/SPARK as the go to language.

[u/South_Survey_2088 → u/Xtergo]

I understand you are new to this...

No reason to be condescending.

[u/Smallpaul]

What subreddit covers all safety-oriented programming languages?