skepti2

5 ms·

1. 1.▲
   by skepti2 9mo ago

   But Ada had for a number of years a mandate to require its usage [0]. That should have been an extreme competitive advantage. And even then, C++ is still used these days for some US military projects, like F-35. Though I don't know whe
2. 2.▲
   by skepti2 9mo ago

   How do you define a better programming language, how do you judge whether one programming language is better than another, and how do you prevent corruption and cartels from taking over? If Ada was "better" than C++, why did Ada n
3. 3.▲
   by skepti2 9mo ago

   Yet that was not any of my arguments. It, ironically, applies more to the argument you made in your previous post. A better argument would have been based on statistics. But that might both be difficult to do, and statistics can also be ver
4. 4.▲
   by skepti2 9mo ago

   > Ada and especially Spark makes it a whole lot easier to produce correct software. Relative to what? There are formal verification tools for other languages. I have heard Ada/SPARK is good, but I do not know the veracity of that. A
5. 5.▲
   by skepti2 9mo ago

   > It seems to me that the software field overall has become more open to a wider variety of languages and concepts, and knowing Ada wouldn't be perceived as widely as career pidgeonholing today. Are you sure? I cannot even find Ada