4 ms·
Java just needs one small change to fix exceptions. Instead of the exception type being checked or unchecked, the throw should specify checked or unchecked. S
by ars 3y ago
Java just needs one small change to fix exceptions.
Instead of the exception type being checked or unchecked, the throw should specify checked or unchecked.
So for example the first time the exception happens it can throw a checked exception for the caller to deal with.
If the caller doesn't deal with it it can simply throw its way all the way to the top without every single function needing to declare they handle it.
- kaba0 3y agoThe proper solution is effectful type systems that are polymorphic to effects, like exceptions.