Comment by kickingvegas

Sure. My reference to BIBO borrows the idea from control theory that if you put bounds on your input, your output will likewise be bounded given your system is BIBO-stable. Applying this to software, if you constrain the range of input to values that will be correctly processed, then you could exploit this to write less code (example: relax building type-checking and error handling code if you know the input is going to be an integer). I’ll caveat that this is not guidance, but more observation, particularly for the case where the audience is one as opposed to many.