3 ms·

Honest question here (that I have every time I see someone talk about memory safety in 2023), are you aware of Ada/Spark?

• Gigachad 3y ago
  If Ada and Spark solve problems as well or better than Rust and have been around for longer, why have I never seen any program written in them? I don’t know anything about ada/spark but it seems clear that something has gone terribly wrong for them to not have taken off like Rust has.
  • krupan 3y ago
    That doesn't answer my question. To attempt to answer your question, you might be surprised to learn just how much Ada/spark exists in the world if you go looking. Most of it is not open source. I'm not sure they haven't "taken off like Rust has" because Rust is still very niche, kinda like Ada is