The Three Properties of Every Piece of Code

Every piece of code in this world has these three properties. Maybe some of them are never, none, or they are degenerate cases. But if I have a program that tells me this is an effect that doesn't require any context, that can never fail for any predictable reason and that gives me a number, I know I have nothing to manage in the unhappy path. Now it does not mean it cannot fail. It can fail if it blows up. But I don't want to recover a disk failure. I want the program to crash, tell me that the disk has failed and be over. This is back to the conversation. Making the concept here was an absolute game changer in