Skip to Main content Skip to Navigation
Journal articles

Generalized monoidal effects and handlers

Abstract : Algebraic effects and handlers are a convenient method for structuring monadic effects with primitive effectful operations and separating the syntax from the interpretation of these operations. However, the scope of conventional handlers is limited as not all side effects are monadic in nature. This paper generalizes the notion of algebraic effects and handlers from monads to generalized monoids, which notably covers applicative functors and arrows as well as monads. For this purpose, we switch the category theoretical basis from free algebras to free monoids. In addition, we show how lax monoidal functors enable the reuse of handlers and programs across different computation classes, for example, handling applicative computations with monadic handlers. We motivate and present these handler interfaces in the context of build systems. Tasks in a build system are represented by a free computation and their interpretation as a handler. This use case is based on the work of Mokhov et al. [(2018). PACMPL2(ICFP), 79:1–79:29.].
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03112837
Contributor : Exequiel Rivas Gadda Connect in order to contact the contributor
Submitted on : Sunday, January 17, 2021 - 5:59:46 PM
Last modification on : Friday, January 21, 2022 - 3:19:39 AM

Identifiers

Collections

Citation

Ruben Pieters, Exequiel Rivas, Tom Schrijvers. Generalized monoidal effects and handlers. Journal of Functional Programming, Cambridge University Press (CUP), 2020, 30, ⟨10.1017/S0956796820000106⟩. ⟨hal-03112837⟩

Share

Metrics

Les métriques sont temporairement indisponibles