You are using big words like "Impossible" such big word would need a proof. There are languages that can produce programs proven to be correct as per the speci

You are using big words like "Impossible" such big word would need a proof. There are languages that can produce programs proven to be correct as per the specifications. We don't have such programs because we prefer moving fast, breaking things, having fun while coding, making money etc. Do you have a proof that it is impossible to have a secure calculator application? About .Net and Python, they are using a lot of wrappers around old unsafe code, so we would need to put more work and eliminate that, MS failed because of their shity Windows first ideals and their FUD,