Ada's use is certainly not limited to legacy codebases (see nvidia's recent foray into ada + Spark). In particular, in the 'industrial provable' space, there's

Ada's use is certainly not limited to legacy codebases (see nvidia's recent foray into ada + Spark). In particular, in the 'industrial provable' space, there's almost no competition I think. If you have to write the source code for an artificial heart, what are your options?