I want to define a tripartite `Result` type which represents success, expected failure and unexpected failure (not for the first time I've tried but I have union types now!). It would be nice if I could find three equal-length words which convey these concepts. Which do you like?
-
What about panics (like Rust) for unexpected errors?
`Panic` is interesting. It would go well with `Valid` and `Error`. My one concern is that it sounds more serious than it probably would be in practice.
-
-
I like the idea that an error is something that can happen in the business domain and so is expected. The program's still in good health, it can continue normally. But panics/faults mean something that should never happen happened (often a bug): the program need to stop.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.