> My understanding, its significantly safer than Rust (and based on Ada) with equal performance. Ada or Ada Spark? Ada Spark is more of a theorem prover, so th

> My understanding, its significantly safer than Rust (and based on Ada) with equal performance. Ada or Ada Spark? Ada Spark is more of a theorem prover, so the comparison to Rust is a bit weird. It's true it's safer - it will protect you from a more programming errors, but you need more annotations to prove properties of a program.