Yes, sure, but have you actually used Ada in practice? It's not exactly ergonomic or straightforward either, it's not magic. You don't hear about the struggles

Yes, sure, but have you actually used Ada in practice? It's not exactly ergonomic or straightforward either, it's not magic. You don't hear about the struggles of using it in practice because the projects you've pointed out are usually confidential. In my experience MISRA is a much more popular standard for secure programming in the defence industry versus Ada. MISRA is a C standard, and yes, it runs missile systems, Boeing braking systems, you name it.