3 ms·

Out of the list you gave, when would you chose to use Ada vs the others?

• bitwize 6y ago
  Just think of Ada as "boomer Rust". It's great for when you have a well-specified project that can be coded in a top-down fashion, and correctness is a paramount concern. It enforces correctness through a very strong type system and a pointer model that forbids aliasing by default (pointers must be declared as 'aliased' to alias them), and the SPARK extensions provide even more guarantees, allowing you to formally specify contracts which the compiler will ensure are fulfilled.
  • winrid 6y ago
    Thanks for the explanation. I heard about its type safety, definitely want to try it on some problem at some point.
    • bitwize 6y ago
      Do it! I learned the basics of Ada by rewriting Unix utilities, such as 'ls' and 'cat', in it.
      • winrid 6y ago
        I meant for a real thing I would sell or use :) but I will!