2 ms·

I wonder, is this not a prime use case for Ada or even SPARK (the provable sub set of Ada) ? You definitely can use C++ as well, but in a project like this, wh

I wonder, is this not a prime use case for Ada or even SPARK (the provable sub set of Ada) ? You definitely can use C++ as well, but in a project like this, what would be the reasons not to use Ada?

jki275 6y ago
It's old and nobody uses it anymore?