Change search
ReferencesLink to record
Permanent link

Direct link
Lightweight Polymorphic Effects
EPFL, Switzerland.
EPFL, Switzerland.
EPFL, Switzerland.ORCID iD: 0000-0002-2659-5271
2012 (English)In: ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, Springer Berlin/Heidelberg, 2012, Vol. 7313, 258-282 p.Conference paper (Refereed)
Abstract [en]

Type-and-effect systems are a well-studied approach for reasoning about the computational behavior of programs. Nevertheless, there is only one example of an effect system that has been adopted in a wide-spread industrial language: Java’s checked exceptions. We believe that the main obstacle to using effect systems in day-to-day programming is their verbosity, especially when writing functions that are polymorphic in the effect of their argument. To overcome this issue, we propose a new syntactically lightweight technique for writing effect-polymorphic functions. We show its independence from a specific kind of side-effect by embedding it into a generic and extensible framework for checking effects of multiple domains. Finally, we verify the expressiveness and practicality of the system by implementing it for the Scala programming language.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2012. Vol. 7313, 258-282 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 7313
Keyword [en]
Effect system, Extensible framework, Multiple domains, Polymorphic effects, Side effect
National Category
Computer Science
URN: urn:nbn:se:kth:diva-165619DOI: 10.1007/978-3-642-31057-7_13ScopusID: 2-s2.0-84879707707ISBN: 978-3-642-31056-0ISBN: 978-3-642-31057-7OAI: diva2:808696
26th European Conference on Object-Oriented Programming, ECOOP 2012, Beijing, China, 11 June 2012 through 16 June 2012

QC 20150430

Available from: 2015-04-29 Created: 2015-04-29 Last updated: 2015-04-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Haller, Philipp
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 9 hits
ReferencesLink to record
Permanent link

Direct link