2 ms·
And if the function can throw different kinds of exceptions, you need a way to express the union of unrelated exceptions (without defining a new variant type),
by junke 6y ago
And if the function can throw different kinds of exceptions, you need a way to express the union of unrelated exceptions (without defining a new variant type), a bit like Polymorphic Variants I guess.
- dllthomas 6y agoIdeally also a way of saying "... except for X Y Z" while remaining appropriately polymorphic. I've remarked before that while checked exceptions help make sure you consider every possible situation, imprecision forces you to consider many (too many?) impossible situations as well.