4 ms·

You guys think Rust is good - you should check out Ada++ (you'll have to build GCC yourself though) http://www.adapplang.com http://www.adapplang.com

Elinvynia 6y ago
Does it provide the same/better safety guarantees as Rust? The website has extremely limited information about the language.
- DoingIsLearning 6y ago
  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
throw_m239339 6y ago
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.
- 0xDEEPFAC 6y ago
  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.

Elinvynia 6y ago

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

DoingIsLearning 6y ago
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

throw_m239339 6y ago

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.

0xDEEPFAC 6y ago
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.