> That's empty dogma. This dogma is statistically verifiable. We could also replace them with Go counterparts > I will take proven C or even static analysed

> That's empty dogma. This dogma is statistically verifiable. We could also replace them with Go counterparts > I will take proven C or even static analysed C This just means you don't understand static analysis as much as you do. A rejection of invalid programs by a strict compiler will always net more safety by default than a completely optional step after the fact.