> Java tried this with checked exceptions and it fell out of favour because it became too unwieldy to manage properly. Because they did a half-assed job of it,

> Java tried this with checked exceptions and it fell out of favour because it became too unwieldy to manage properly. Because they did a half-assed job of it, and required the user to explicitly propagate error signatures. Inference and exception polymorphism are essential.