4 ms·

What an ugly, unintuitive language. Are there any benefits to Ada over something like c++?

Lucretia9 6y ago
You'd spend about 1000th of the time in a debugger compared to modern C++ and about 1000000th the time compared to C.
thesuperbigfrog 6y ago
An advanced type system: https://learn.adacore.com/courses/intro-to-ada/chapters/strongly_typed_language.html#derived-types https://learn.adacore.com/courses/intro-to-ada/chapters/stro... Built-in concurrency and concurrent-safe data passing: https://learn.adacore.com/courses/intro-to-ada/chapters/tasking.html https://learn.adacore.com/courses/intro-to-ada/chapters/task... Design-by-contract programming: https://learn.adacore.com/courses/intro-to-ada/chapters/contracts.html https://learn.adacore.com/courses/intro-to-ada/chapters/cont... Provably safe programs if you use the SPARK subset of Ada: https://learn.adacore.com/courses/intro-to-spark/chapters/03_Proof_Of_Program_Integrity.html https://learn.adacore.com/courses/intro-to-spark/chapters/03...
- msla 6y ago
  > An advanced type system: Not compared to Haskell. Ada has a strong type system for an Algol-derived language, but the world has moved on without it in terms of type systems in general.
  - Jtsummers 6y ago
    Almost every language has a less advanced type system than Haskell. But compared to most mainstream languages, Ada's type system is still quite advanced.
    - msla 6y ago
      So Ada's type system is better than an "average" language but not as good as a good language. Therefore, if I'm looking to trade up from an "average" language, it's in my interest to leapfrog Ada and go with a good language.
      - gmfawcett 6y ago
        Actually, using Ada + SPARK, there are many static properties that can be verified which would be unverifiable in Haskell, and would be awkward to verify even in Agda or Idris. But you've got your mind made up already -- please just enjoy your tools, and let others enjoy theirs.
MaxBarraclough 6y ago
> ugly It makes much use of English words rather than symbols. This was intended to maximise readability, even at the expense of writeability. It's not the way most modern languages are designed, sure enough, and I'm not sure it really improves readability, but I'm not especially au fait with Ada so I'm not the best person to comment. > unintuitive This strikes me as another way of saying unfamiliar. Forth and Haskell are also extremely unintuitive languages, to people who don't know them, but that's not really much of a criticism.
non-entity 6y ago
> What an ugly, unintuitive language. And then you compare it to C++???

You'd spend about 1000th of the time in a debugger compared to modern C++ and about 1000000th the time compared to C.

An advanced type system: https://learn.adacore.com/courses/intro-to-ada/chapters/strongly_typed_language.html#derived-types https://learn.adacore.com/courses/intro-to-ada/chapters/stro... Built-in concurrency and concurrent-safe data passing: https://learn.adacore.com/courses/intro-to-ada/chapters/tasking.html https://learn.adacore.com/courses/intro-to-ada/chapters/task... Design-by-contract programming: https://learn.adacore.com/courses/intro-to-ada/chapters/contracts.html https://learn.adacore.com/courses/intro-to-ada/chapters/cont... Provably safe programs if you use the SPARK subset of Ada: https://learn.adacore.com/courses/intro-to-spark/chapters/03_Proof_Of_Program_Integrity.html https://learn.adacore.com/courses/intro-to-spark/chapters/03...

msla 6y ago
> An advanced type system: Not compared to Haskell. Ada has a strong type system for an Algol-derived language, but the world has moved on without it in terms of type systems in general.
- Jtsummers 6y ago
  Almost every language has a less advanced type system than Haskell. But compared to most mainstream languages, Ada's type system is still quite advanced.
  - msla 6y ago
    So Ada's type system is better than an "average" language but not as good as a good language. Therefore, if I'm looking to trade up from an "average" language, it's in my interest to leapfrog Ada and go with a good language.
    - gmfawcett 6y ago
      Actually, using Ada + SPARK, there are many static properties that can be verified which would be unverifiable in Haskell, and would be awkward to verify even in Agda or Idris. But you've got your mind made up already -- please just enjoy your tools, and let others enjoy theirs.

MaxBarraclough 6y ago

> ugly It makes much use of English words rather than symbols. This was intended to maximise readability, even at the expense of writeability. It's not the way most modern languages are designed, sure enough, and I'm not sure it really improves readability, but I'm not especially au fait with Ada so I'm not the best person to comment. > unintuitive This strikes me as another way of saying unfamiliar. Forth and Haskell are also extremely unintuitive languages, to people who don't know them, but that's not really much of a criticism.

non-entity 6y ago

> What an ugly, unintuitive language. And then you compare it to C++???