3 ms·
An advanced type system: https://learn.adacore.com/courses/intro-to-ada/chapters/strongly_typed_language.html#derived-types https://learn.adacore.com/courses/i
by 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 agoAlmost 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 agoSo 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 agoActually, 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.