But the flow control is easier to reason about. You don't have to go guessing about non-local catch blocks that the caller may have introduced. The code either

But the flow control is easier to reason about. You don't have to go guessing about non-local catch blocks that the caller may have introduced. The code either panics, or propagates. Exceptions look remarkably wrong headed to me in retrospect. Allowing the caller to change the error handling contract and flow control.