Re:An intro to Zig's integer casting for C programmers
by dapids on Tuesday May 11, 2021 @02:07PM
(#27121407)
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.
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.