Original link: Should I choose Ada, SPARK, or Rust over C/C++? / AdaCore.
Note that AdaCore is avendor of Ada and Spark so no surprise that they like Ada and Spark - they are not neutral.
But still some interesting points.