News for hackers. Stuff that matters.

A comment on The Great Rewriting in Rust. Parent comment

Re:The Great Rewriting in Rust by hedora on Monday May 03, 2021 @09:54PM (#27033248)
Interestingly, modern C++ is the closest production language there is to Rust in terms of compile time safety guarantees (though C++ is unsafe by default, and that’s a huge problem), type expressiveness, runtime behavior, and so on.

Also, many of the best Rust ideas have been backported to it.

I wonder if it’ll still be in second place after whatever new hotness replaces Rust in a decade.

[ Parent | on HN ]
Re:The Great Rewriting in Rust by johnisgood on Monday May 03, 2021 @09:58PM (#27033272)
I would say Ada/SPARK is much closer to compile-time safety guarantees than both C++ and Rust, along with type expressiveness, runtime behavior, and so forth. I wish more people knew about the language and about its current state.
[ Parent | on HN ]
Re:The Great Rewriting in Rust by SubjectToChange on Tuesday May 04, 2021 @01:57AM (#27034463)
Ada did get a surprising number of things right. And SPARK is a tremendous asset to the Ada ecosystem. It really could have been where C++ is today.

However, I can't see Ada thriving without fixing their licensing. But on the other hand I don't know how well the Ada vendors could survive without charging for their compilers/toolchains.

[ Parent | on HN ]
Re:The Great Rewriting in Rust by pjmlp on Wednesday May 05, 2021 @09:02AM (#27049318)
Many associate C++ uptake to Microsoft, however they completely miss the point that C++ is a platform language.

It was developed on the same building as UNIX (so to speak), as C pre-processor with no additional requirements on C's toolchain.

That made it quickly available across all UNIX platforms and respective toolchains.

Then it followed C as younger brother alternative in any C toolchain that mattered.

A few UNIX vendors, e.g. Sun, did offer Ada compilers, but it was naturally an additional software package to buy, and not everything was available, thus additional hurdles to write FFI bindings.

Not bundling a language with a platform is always an issue with system programming languages.

[ Parent | on HN ]