Checked exceptions, at least the way Java does them are exceedingly verbose, potentially requiring a try/catch block at every level of a call stack. I think it would be possible do static analysis of most possible execution paths and determine whether there's a possible exception not being caught by a certain level without having to deal with it in every call.