Hacker News Reader

Does it provide the same/better safety guarantees as Rust? The website has extremely limited information about the language.

View on HN

I can't confirm what is the motivation behind Ada++, but actual Ada2012 standard and in particular the Ada SPARK (2014) subset is in many ways objectively superior to Rust with regards to memory safety.

One major issue with Ada is that commercial grade compilers are not cheap and for the most part the language was unable to get rid of the stereotype of being an Aerospace/Defense language only.

Some discussion on the topic:

https://www.quora.com/How-secure-is-Ada-the-programming-lang...?

https://ada2012.org/comparison.html

https://www.adacore.com/about-spark

Does Ada have a substructural type system [0]? If not, then it's not even in the same league as Rust.

[0] https://en.wikipedia.org/wiki/Substructural_type_system

From the Ada standard:

https://en.wikibooks.org/wiki/Ada_Programming/Types/access

More importantly the previous discussion on Ada SPARK 2014 'safe pointers' may also be an interesting read for proponents of a Substructural Type System:

https://news.ycombinator.com/item?id=15874273

Reply on news.ycombinator.com