This wouldn't be a problem if people wrote programs in languages that have proper type systems that can correctly classify failure. I'm thinking of types such

This wouldn't be a problem if people wrote programs in languages that have proper type systems that can correctly classify failure. I'm thinking of types such as Maybe/Option or Either. I hate it for example when a C/C++ function has to return a -1 in case of failure.