[helsinkiandrew]

Fortran is probably as bad as C, and Ada isn't truly memory safe - they link to Ada/Spark which is but that doesn't seem to have much widespread use.

https://www.adacore.com/about-spark

[KMag]

Isn't Ada/Spark in avionics the main use case for Ada these days? So, huge share of a tiny market?

[helsinkiandrew]

> Isn't Ada/Spark in avionics the main use case for Ada these days?

Hasn't it always been? I'm no expert but always assumed that it was used basically military and avionics, and perhaps other safety critical equipment.

[inamberclad]

I think it's also used in high speed rail.

[BirAdam]

Also weapon systems.

[ocschwar]

Fortran is used for scientific computing. The crash of crashing a run on someone's Beowulf cluster is high, but the severity is low.