But I think this can be solved perfectly well on a fairly shallow syntax/type level: tag a function as "throws" if it can throw, have special syntax to call "throws" functions. Maybe you have to put a question mark after the function call expression for example. I don't think you gain *that* much from other error handling mechanisms if you do this

2/2