The biggest problem is that you can't abstract over them. Try to write Array#map in Java, you can't - you have to write copy-paste variants for 0, 1, 2... different types of exception until you get bored.
Yeah! I eluded to that. Exceptions aren’t fully in the type system. I’m hopeful that they’ll eventually let exceptions be some sort of union type fully. Currently, they’re unions in throws clauses and catch clauses.
Personally for me it’s not that big of a deal. The thing I want the most is having null in the type system.
Personally for me it’s not that big of a deal. The thing I want the most is having null in the type system.