[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.