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 look

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