Opening book details…
Can I read Customizable gradual polymorphic effects for Scala on EtoBox?
Customizable gradual polymorphic effects for Scala by Matías Toro and Éric Tanter is a Computer Science article available to read on EtoBox.
What is Customizable gradual polymorphic effects for Scala about?
Despite their obvious advantages in terms of static reasoning, the adoption of effect systems is still rather limited in practice. Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual effect checking, all represent promising steps towards making effect systems suitable for widespread use. However, no existing system combines these approaches: the theory of gradual polymorphic effects has not been developed, and there are no implementations of gradual effect checking. In addition, a limiting factor in the adoption of effect systems is their unsuitability for localized and customized effect disciplines. This paper addresses these issues by presenting the first implementation of gradual effect checking, for Scala, which supports both effect polymorphism and a domain-specific language called Effscript to declaratively define and customize effect disciplines. We report on the theory, implementation, and practical application of the system.
Who reads Customizable gradual polymorphic effects for Scala?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Matías Toro and Éric Tanter
- Publisher
- ACM
- Published
- 2015
- Language
- EN
- Field
- Computer Science (Physical Sciences)