13
Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
submitted 2 days ago by ada@programming.dev to c/ada@programming.dev
5 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[-] arendjr@programming.dev 1 points 1 day ago

Might be relevant to mention that Rust has formal verification methods available as well, similar to SPARK, but also optional. One that looks pretty appealing is this one: https://verus-lang.github.io/verus/guide/overview.html

this post was submitted on 27 Sep 2024
13 points (88.2% liked)

Ada

79 readers
1 users here now

A community about the programming language, Ada.

About Ada Language

Ada is a modern, high-level programming language designed for developing reliable, efficient, and maintainable software systems. It was developed by the U.S. Department of Defense and is widely used in safety-critical and mission-critical applications. This community is dedicated to all things related to Ada, including discussions, tutorials, news, and projects.

Rules:

  1. Be respectful: Treat fellow community members with kindness and respect. Personal attacks, harassment, or any form of discrimination will not be tolerated.
  2. Stay on topic: Keep discussions focused on Ada language-related topics. Off-topic posts may be removed.
  3. No spam or self-promotion: Avoid excessive self-promotion or spamming of external links. Share relevant content and engage in meaningful discussions.
  4. Provide helpful and constructive feedback: When offering feedback on code or projects, be constructive and supportive. Help others learn and grow.
  5. Follow the instance wide rules.

founded 11 months ago
MODERATORS
ada@programming.dev