@nprofile1q... @nprofile1q... OK. So C++, even if not ideal, is one of the type systems you like. And so one that should result in fewer bugs.
And yet, C++ was in the study that showed no benefits for languages with static type systems.
That's the empirical evidence.
I am sorry that reality does not conform to your expectations.