Paper Info
Title
Accepting blame for safe tunneled exceptions.
Abstract
Unhandled 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 and 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.
Year
DOI
Venue
2016
10.1145/2908080.2908086
PLDI
Keywords
Field
DocType
Exception tunneling, Genus, exception handling
Crash,Programming language,Identifier,Computer science,Blame,Exception handling,Software design pattern,Software,Expressivity
Conference
Volume
Issue
ISSN
51
6
0362-1340
ISBN
Citations 
PageRank 
978-1-4503-4261-2
4
0.40
References 
Authors
16
5
Name
Order
Citations
PageRank
Yizhou Zhang1284.21
Guido Salvaneschi235434.50
Quinn Beightol340.40
Barbara Liskov460251219.69
Andrew C. Myers54027203.64