I'd like to hear how this compares to Ada/SPARK.