Viewing profile — skepti2

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 U…

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…

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 m…

> 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/SPAR…

> 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 pidgeo…