4 ms·

I wonder why people don't use Ada Programming Language also ? It has Spark subset for formal verification also

• peoplefromibiza 4y ago
  [flagged]
• deleted 4y ago
  [deleted]
• dist1ll 4y ago
  Does Ada have strong concurrency support and compile-time data race freedom?
  • ghostwriter 4y ago
    Haskell does have both
    • dist1ll 4y ago
      Haskell is not a high-performance systems programming language, not sure how it's relevant in a discussion about Rust, C++ and Ada
      • ghostwriter 4y ago
        It's relevant because many people using Rust are using it for building web backends where high-performance systems language is not needed, yet the safe concurrency is required.