I know about Spark but don't know about Rust, I will check this language.
What kind of advancement in theory of programming languages are you refeering to ? I'm not particularly pushing for Ada, but it's a very known language in the industry and has three decades of support and improvements :)