Re: Safer Languages
It is suitable as a systems language for microkernels, embedded systems and others[1]. You can get similar perfomance to C[2]. I wasn't involved with putting it in the hardware but an optimizing compiler would have been used.
[1] https://www.adacore.com/about-ada
[2] https://www.electronicdesign.com/iot/comparing-ada-and-c
(needs javascript)