Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

This sounds exactly like Java's checked exceptions.


The two are closely related concepts. You can model checked exceptions as a secondary return type, except without the same first-order representation (e.g. inability to specify checked exceptions in generic terms).




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: