Customizable gradual polymorphic effects for Scala

Toro, Matías; Tanter, Éric

doi:10.1145/2814270.2814315

Cited by 10 publications

(4 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The system was given abstractly, with respect to a lattice of effects. Toro and Tanter later implemented this as a polymorphic extension [Toro and Tanter 2015] to Schwerter et al 's gradual effect systems [Bañados Schwerter et al 2014]. Their implementation is again parameterized with respect to an effect lattice.…”

Section: Generic Effect Systemsmentioning

confidence: 99%

Polymorphic Iterable Sequential Effect Systems

Gordon

2021

ACM Trans. Program. Lang. Syst.

View full text Add to dashboard Cite

Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is irrelevant. Understanding such systems in terms of a semilattice of effects grounds understanding of the essential issues and provides guidance when designing new effect systems. By contrast, sequential effect systems—where the order of effects is important—lack an established algebraic structure on effects. We present an abstract polymorphic effect system parameterized by an effect quantale—an algebraic structure with well-defined properties that can model the effects of a range of existing sequential effect systems. We define effect quantales, derive useful properties, and show how they cleanly model a variety of known sequential effect systems. We show that for most effect quantales, there is an induced notion of iterating a sequential effect; that for systems we consider the derived iteration agrees with the manually designed iteration operators in prior work; and that this induced notion of iteration is as precise as possible when defined. We also position effect quantales with respect to work on categorical semantics for sequential effect systems, clarifying the distinctions between these systems and our own in the course of giving a thorough survey of these frameworks. Our derived iteration construct should generalize to these semantic structures, addressing limitations of that work. Finally, we consider the relationship between sequential effects and Kleene Algebras, where the latter may be used as instances of the former.

show abstract

Section: Generic Effect Systemsmentioning

confidence: 99%

Polymorphic Iterable Sequential Effect Systems

Gordon

2021

ACM Trans. Program. Lang. Syst.

View full text Add to dashboard Cite

show abstract

“…A possible middle-ground solution is presented by Toro and Tanter [20] in the form of a gradual polymorphic effect system for Scala. By giving up some static guarantees about the effectfulness of code, the use of higher-order functions like map can be made more flexible.…”

Section: Effect Polymorphismmentioning

confidence: 99%

JEff: objects for effect

Inostroza

Storm

2018

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Sof

View full text Add to dashboard Cite

show abstract

“…The system was given abstractly, with respect to a lattice of effects. Toro and Tanter later implemented this as as a polymorphic extension [56] to Schwerter et al's gradual effect systems [3]. Their implementation is again parameterized with respect to an effect lattice, supporting only closed effects (i.e., no singletons).…”

Section: Generic Effect Systemsmentioning

confidence: 99%

“…(Usually this indicates a mistake.) Effect system frameworks can be implemented generically with respect to an effect lattice [48,56], and in the common case where effects are viewed as sets of required capabilities, simply specifying the capabilities and exploiting the default powerset lattice makes core design choices straightforward. In the research literature, the ubiquity of lattice-based (commutative) effect systems simplifies explanations and presentations.…”

Section: Introductionmentioning

confidence: 99%

A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version)

Gordon¹

2017

Preprint

View full text Add to dashboard Cite

Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is irrelevant. Understanding such systems in terms of a lattice of effects grounds understanding of the essential issues, and provides guidance when designing new effect systems. By contrast, sequential effect systems -where the order of effects is important -lack a clear algebraic characterization.We derive an algebraic characterization from the shape of prior concrete sequential effect systems. We present an abstract polymorphic effect system with singleton effects parameterized by an effect quantale -an algebraic structure with well-defined properties that can model a range of existing order-sensitive effect systems. We define effect quantales, derive useful properties, and show how they cleanly model a variety of known sequential effect systems. We show that effect quantales provide a free, general notion of iterating a sequential effect, and that for systems we consider the derived iteration agrees with the manually designed iteration operators in prior work. Identifying and applying the right algebraic structure led us to subtle insights into the design of order-sensitive effect systems, which provides guidance on non-obvious points of designing order-sensitive effect systems. Effect quantales have clear relationships to the recent category theoretic work on order-sensitive effect systems, but are explained without recourse to category theory. In addition, our derived iteration construct should generalize to these semantic structures, addressing limitations of that work.

show abstract

Customizable gradual polymorphic effects for Scala

Cited by 10 publications

References 29 publications

Polymorphic Iterable Sequential Effect Systems

Polymorphic Iterable Sequential Effect Systems

JEff: objects for effect

A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version)

Contact Info

Product

Resources

About