dark prediction: rust is destined to become the next big language in aerospace/defense https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust