Throwing exceptions may be the most concise, but handling them rarely is. But most importantly, static type systems lose the ability to infer what's coming so

Throwing exceptions may be the most concise, but handling them rarely is. But most importantly, static type systems lose the ability to infer what's coming so these may turn out to be really pesky problems.