Ada is about as portable as C, given that both are implemented as gcc frontends. For performance, the type-safe SPARK Skein implementation (http://www.adacore.

Ada is about as portable as C, given that both are implemented as gcc frontends. For performance, the type-safe SPARK Skein implementation (http://www.adacore.com/press/spark-skein/ http://www.adacore.com/press/spark-skein/) matches the C implementation, after the optimizer phases in the compiler were matched up. While doing the translation from C, they even uncovered a bug in the C implementation. Anecdata, sure, but that's mostly a popularity issue.