Ada is best. No UB, strict types, contracts that can be formally proven, runtime checks, better (than phthreds) concurrency, certifiable. It's bitch sometimes

Ada is best. No UB, strict types, contracts that can be formally proven, runtime checks, better (than phthreds) concurrency, certifiable. It's bitch sometimes but you'll thank it after release.