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.