Show simple item record

dc.contributor.authorZhang, Yizhou
dc.contributor.authorSalvaneschi, Guido
dc.contributor.authorBeightol, Quinn
dc.contributor.authorLiskov, Barbara
dc.contributor.authorMyers, Andrew C.
dc.date.accessioned2016-04-18T20:33:35Z
dc.date.available2016-04-15T04:55:29Z
dc.date.available2016-04-18T20:33:35Z
dc.date.issued2016-04
dc.identifier.urihttps://hdl.handle.net/1813/43784
dc.description.abstractUnhandled exceptions crash programs, so a compile-time check that exceptions are handled should in principle make software more reliable. But designers of some recent languages have argued that the benefits of statically checked exceptions are not worth the costs. We introduce a new statically checked exception mechanism that addresses the problems with existing checked-exception mechanisms. In particular, it interacts well with higher-order functions and other design patterns. The key insight is that whether an exception should be treated as a “checked” exception is not a property of its type but rather of the context in which the exception propagates. Statically checked exceptions can “tunnel” through code that is oblivious to their presence, but the type system nevertheless checks that these exceptions are handled. Further, exceptions can be tunneled without being accidentally caught, by expanding the space of exception identifiers to identify the exception-handling context. The resulting mechanism is expressive, syntactically light, and can be implemented efficiently. We demonstrate the expressiveness of the mechanism using significant codebases and evaluate its performance. We have implemented this new exception mechanism as part of the new Genus programming language, but the mechanism could equally well be applied to other programming languages.en_US
dc.language.isoen_USen_US
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectGenusen_US
dc.subjectException mechanismen_US
dc.subjectException tunnelingen_US
dc.titleAccepting Blame: Expressive Checked Exceptionsen_US
dc.typetechnical reporten_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivatives 4.0 International
VersionItemDateSummary

*Selected version

Statistics