Effect handlers have recently gained popularity amongst programming language researchers. Existing type-and effect systems for effect handlers are often complicated and …
D Biernacki, M Piróg, P Polesiuk… - Proceedings of the ACM …, 2019 - dl.acm.org
Handlers of algebraic effects aspire to be a practical and robust programming construct that allows one to define, use, and combine different computational effects. Interestingly, a critical …
Ownership type systems, based on the idea of enforcing unique access paths, have been primarily focused on objects and top-level classes. However, existing models do not as …
Effect handlers are a promising way to structure effectful programs in a modular way. We present the Scala library Effekt, which is centered around capability passing and …
L Convent, S Lindley, C McBride… - Journal of Functional …, 2020 - cambridge.org
We explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ground up around a …
We propose a novel approach to soundly combining linear types with multi-shot effect handlers. circear type systems statically ensure that resources such as file handles and …
Effect handlers are a modern and increasingly popular approach to structuring computational effects in functional programming languages. However, while their traditional …
PE de Vilhena, F Pottier - Proceedings of the ACM on Programming …, 2021 - dl.acm.org
User-defined effects and effect handlers are advertised and advocated as a relatively easy- to-understand and modular approach to delimited control. They offer the ability of …
Effect handlers encourage programmers to abstract over repeated patterns of complex control flow. As of today, this abstraction comes at a significant price in performance. In this …