Even though it's an Ada ad, 'C\**/\**C++' vs 'Ada\**, \**SPARK' is wild.

		mcdonje 82 days ago \| parent \| context \| favorite \| on: Should I choose Ada, SPARK, or Rust over C/C++? (2... Even though it's an Ada ad, 'C/C++' vs 'Ada, SPARK' is wild.