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?
-
Ah, yes, Scala 3, sorry :) But then where do union types come into play? for the types of the errors themselves?
Yes, for the types for the anticipated exceptions, so as to set users' expectations about what needs to be handled.