4 ms·

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 super

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-language https://www.quora.com/How-secure-is-Ada-the-programming-lang...? https://ada2012.org/comparison.html https://ada2012.org/comparison.html https://www.adacore.com/about-spark https://www.adacore.com/about-spark

imtringued 6y ago
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 https://en.wikipedia.org/wiki/Substructural_type_system
- DoingIsLearning 6y ago
  From the Ada standard: https://en.wikibooks.org/wiki/Ada_Programming/Types/access 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 https://news.ycombinator.com/item?id=15874273