I agree - Ada is very similar to Pascal, and much faster to pick up than, say, C++.
C++ is not that hard to pick up.
But writing error free C++ code is hard as hell.
Readit Newszeroc8 commented on The C++ standard for the F-35 Fighter Jet [video] youtube.com/watch?v=Gv4sD... · Posted by u/AareyBaba
zeroc8 commented on The C++ standard for the F-35 Fighter Jet [video] youtube.com/watch?v=Gv4sD... · Posted by u/AareyBaba
> Ada and especially Spark makes it a whole lot easier to produce correct software.
Relative to what? There are formal verification tools for other languages. I have heard Ada/SPARK is good, but I do not know the veracity of that. And Ada companies promoting Ada have horses in the race.
And Ada didn't prevent the Ada code in Ariane 5 from being a disaster.
> The programming language is just a small piece of the puzzle. But an important one.
100% true, but the parent of the original post that he agreed with said:
> And the F35 and America's combat readiness would be in a better place today with Ada instead of C++.
What is the proof for that, especially considering events like Ariane 5?
And Ada arguably has technical and non-technical drawbacks relative to many other languages.
When I tried Ada some weeks ago for a tiny example, I found it cumbersome in some ways. Is the syntax worse and more verbose than even C++? Maybe that is just a learning thing, though. Even with a mandate, Ada did not catch on.
Well, readability, better typesafety, less undefined behaviour.
In and out parameters, named parameters. Built in concurrency.
With C++ it's just too easy to make mistakes.
zeroc8 commented on The C++ standard for the F-35 Fighter Jet [video] youtube.com/watch?v=Gv4sD... · Posted by u/AareyBaba
They should use Rust
It's not quite there yet:
https://ferrocene.dev/en?ref=blog.pictor.us
zeroc8 commented on The C++ standard for the F-35 Fighter Jet [video] youtube.com/watch?v=Gv4sD... · Posted by u/AareyBaba
Semi serious idea: A lot of people (including me) write C++ but it's basically C plus a small set of really ergonomic and useful C++ features (eg references). This should be standardised as a new language called C+
That probably would see more success than the monster they've created.
I've been out of the C++ world for a while, but I hardly recognize the language anymore.
zeroc8 commented on The C++ standard for the F-35 Fighter Jet [video] youtube.com/watch?v=Gv4sD... · Posted by u/AareyBaba
As I wrote to someone else:
Why require that companies use a specific programming language instead of requiring that the end product is good? > And the F35 and America's combat readiness would be in a better place today with Ada instead of C++.
What is the evidence for this? Companies selling Ada products would almost certainly agree, since they have a horse in the race. Ada does not automatically lead to better, more robust, safer or fully correct software.
Your line of argument is dangerous and dishonest, as real life regrettably shows.[0]
[0]: https://en.wikipedia.org/wiki/Ariane_flight_V88
> The failure has become known as one of the most infamous and expensive software bugs in history.[2] The failure resulted in a loss of more than US$370 million.[3]
> The launch failure brought the high risks associated with complex computing systems to the attention of the general public, politicians, and executives, resulting in increased support for research on ensuring the reliability of safety-critical systems. The subsequent automated analysis of the Ariane code (written in Ada) was the first example of large-scale static code analysis by abstract interpretation.[9]
Ada and especially Spark makes it a whole lot easier to produce correct software.
That doesn't mean it automatically leads to better software.
The programming language is just a small piece of the puzzle. But an important one.
Agreed. If folks want to write java in elipse they are more than welcome to do so... dont understand these yelling at clouds posts really
Only if they found their own companies. Usually those decisions were already made for you.
It is the programmer's job to learn what is going on. Java itself doesn't hide anything from you. You are free to write a servlet from scratch, or use a framework like Spring to hide everything. Your (company's) choice really.
People end up choosing something that has batteries included so they can focus on solving business problems. A programmer who will superficially understand SpringBoot without understanding how it works. Really, there is no magic there - its a few core concepts - annotations, bytecode enhancement and dynamic proxies. Maybe Im missing one or two. Everything else is built on top of this.
This is regardless of language/ecosystem. If I do not understand the fundamental concepts, I will never be successful in that ecosystem.
The layer in Go is much thinner, if I want to learn about a new concept or technology. Of course there is no magic, if you are willing to put the time in. The question is how much time is required.
Go is more verbose than Java though, in what way would it be more sensible?
Also, Java's ecosystem is unparalleled (top 3 in size, depending on domain it usually has the best packages (e.g. typical backend-related functionality)), has stellar performance, a huge developer base, best-in-class IDE support, even LLMs understand it exceptionally well (given how widely represented it is in the training corpus, plus has a decent type system) if that's your thing.
For a typical backend system, you really have to have a good reason to choose something else at this point.
Java is ok for typical backend stuff, but Go doesn't hide things the way Java does. With Go, you actually learn what's going on, while with Java, you just learn your way around the various frameworks.
As a programmer, I don't want that
That said, my current company uses Spring Boot. It does its job, but it wouldn't be my top choice.
Dead Comment
zeroc8 commented on Progress on TypeScript 7 – December 2025 devblogs.microsoft.com/ty... · Posted by u/DanRosenwasser
Love it. What a fantastic show case for Go.