[Terr_]

"Java's Checked Exceptions are the right idea and just need better syntactic sugar."

You strictly type your regular return values so that people have to make a clear decision about handling them, and everyone's fine... But do it for predictable categories of error, and some people lose their minds.