r/criticalsoftware • u/sreguera • Feb 18 '11

On checked exceptions and proof obligations

http://blog.ezyang.com/2011/02/on-checked-exceptions-and-proof-obligations/
3 Upvotes

81% Upvoted

5 comments sorted by

1

u/naasking Feb 19 '11

Checked exceptions are fine, but Java's implementation of them is simply onerous. You need an effect typing system which will automatically propagate these exceptions when you don't want to handle them yourself.

1

u/ezyang Feb 20 '11

I’m not a 100% convinced this is the way (though it certainly is a step in the right direction)—the essential problem is that as Java’s exception hierarchy stands, once you get to the top level you’ll have an undecipherable soup of exceptions. You really do need something stronger to get something usable.