One day we will find that perfect type system (and associated compiler&#x2F;IDE&#x2F;Interactive front end) and then everyone will take one big sigh of relief. And then we all will start fixing problems in a way that makes them stay fixed.