GhosT078

5 ms·

1. 31.▲
   by GhosT078 1y ago

   In 2010, Ada 2005 was the most bare-metal-worthy expressive language. Now that would be Ada 2022.
2. 32.▲
   by GhosT078 1y ago

   I write or test new Ada code everyday at my current $DAYJOB. I used to do the same at an avionics company. I expect this to continue since its the best language for this type of software (high-integrity, embedded, real-time, in use for deca
3. 33.▲
   by GhosT078 1y ago

   I have used SPARK Ada myself on a couple of security focused products developed by a team of 10-15 developers. For a long time, SPARK has made use of formal methods practical for real-world software. Effective use does require learning and
4. 34.▲
   by GhosT078 1y ago

   All editions of Ada have supported operator overloading, complex (rich) type definitions, generics, built-in concurrency, etc. It was overlooked for too long but seems to be getting attention and increased usage again. Ada provides ways of