News for hackers. Stuff that matters.
Re:C++26 is done ISO C++ standards meeting, Trip Report by bluGill on Sunday March 29, 2026 @03:17PM (#47566232)
The people who did contracts are aware of ada/spark and some have experience using it. Only time will tell if it works in c++ but they at least did all they could to give it a chance.

Note that this is not the end of contrats. This is a minimun viable start that they intend to add to but the missing parts are more complex.

Re:C++26 is done ISO C++ standards meeting, Trip Report by dislikedopinion on Sunday March 29, 2026 @03:23PM (#47566297)
Might be the case that Ada folks successfully got a bad version of contracts not amenable for compile-time checking into C++, to undermine the competition. Time might tell.
Re:C++26 is done ISO C++ standards meeting, Trip Report by steveklabnik on Sunday March 29, 2026 @04:33PM (#47566995)
This is some pretty major conspiracy thinking, and would need some serious evidence. Do you have any?
[dead]
Re:C++26 is done ISO C++ standards meeting, Trip Report by steveklabnik on Sunday March 29, 2026 @05:18PM (#47567431)
Okay, on one hand, I'm very curious, but on the other hand, not really on topic for this forum. So I'll just leave a "wut".
Re:C++26 is done ISO C++ standards meeting, Trip Report by stackghost on Sunday March 29, 2026 @04:36PM (#47567022)
I strongly doubt that C++ is what's standing in the way of Ada being popular.
Re:C++26 is done ISO C++ standards meeting, Trip Report by dislikedopinion on Sunday March 29, 2026 @05:04PM (#47567294)
Ada used to be mandated in the US defense industry, but lots of developers and companies preferred C++ and other languages, and for a variety of reasons, the mandate ended, and Ada faded from the spotlight.
Re:C++26 is done ISO C++ standards meeting, Trip Report by stackghost on Sunday March 29, 2026 @05:30PM (#47567544)
>the mandate ended, and Ada faded from the spotlight

Exactly. People stopped using Ada as soon as they were no longer forced to use it.

In other words on its own merits people don't choose it.

Re:C++26 is done ISO C++ standards meeting, Trip Report by hansvm on Sunday March 29, 2026 @05:53PM (#47567780)
On their own merits, people choose SMS-based 2FA, "2FA" which lets you into an account without a password, perf-critical CLI tools written in Python, externalizing the cost of hacks to random people who aren't even your own customers, eating an extra 100 calories per day, and a whole host of other problematic behaviors.

Maybe Ada's bad, but programmer preference isn't a strong enough argument. It's just as likely that newer software is buggier and more unsafe or that this otherwise isn't an apples-to-apples comparison.

Re:C++26 is done ISO C++ standards meeting, Trip Report by stackghost on Sunday March 29, 2026 @06:49PM (#47568265)
I made no judgement about whether Ada is subjectively "bad" or not. I used it for a single side project many years ago, and didn't like it.

But my anecdotal experience aside, it is plain to see that developers had the opportunity to continue with Ada and largely did not once they were no longer required to use it.

So, it is exceedingly unlikely that some conspiracy against C++, motivated by mustache-twirling Ada gurus, is afoot. And even if that were true, knocking C++ down several pegs will not make people go back to Ada.

C#, Rust, and Go all exist and are all immensely more popular than Ada. If there were to be a sudden exodus of C++ developers, these languages would likely be the main beneficiaries.

My original point, that C++ isn't what's standing in the way of Ada being popular, still stands.

Re:C++26 is done ISO C++ standards meeting, Trip Report by mastermage on Monday March 30, 2026 @02:35AM (#47571111)
Ada is a greatly designed language and I mean this. The problem Ada has is highly proprietary compilers.
Re:C++26 is done ISO C++ standards meeting, Trip Report by uecker on Monday March 30, 2026 @04:32AM (#47571882)
Not having experience myself, how is GNAT?