Hacker News Reader

Comment by 0xDEEPFAC | Hacker News Reader

You guys think Rust is good - you should check out Ada++ (you'll have to build GCC yourself though)

http://www.adapplang.com

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

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

There is so little information on the page you linked that I doubt this project is production ready in any shape and form. Ada webdev is already though as it is, I doubt that project can compare to rust.

It is an Ada compiler with modified syntax. The GNAT Ada compiler is used by defense contractors, air traffic controllers, and NVIDIA for some of their internal research.

Its production ready.

Reply on news.ycombinator.com