Safer Exceptions for Scala
We describe a scheme for reflecting exceptions as capabilities in the Scala type system that keeps notational overhead to a minimum and avoids well-known problems with Java's checked exceptions framework. The scheme makes exceptions safer but not fully safe since the capability for throwing an exception may still yet escape its enclosing try block. To address this limitation, we also propose a type system which prevents capabilities from escaping.
Sun 17 OctDisplayed time zone: Central Time (US & Canada) change
09:00 - 10:20
|Safer Exceptions for Scala|
Martin Odersky EPFL, Aleksander Boruch-Gruszecki EPFL, Jonathan Immanuel Brachthäuser EPFL, Edward Lee University of Waterloo, Ondřej Lhoták University of WaterlooDOI
|Pathless Scala: A Calculus for the Rest of Scala|
Guillaume Martres EPFLDOI Pre-print File Attached