Scoped Effects as Parameterized Algebraic Theories
Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are basic programming features, such as reading or updating the state, and axioms specify observably equivalent expressions....
Enregistré dans:
| Auteurs principaux: | , , , , , |
|---|---|
| Format: | Article |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2402.03103 http://arxiv.org/abs/2402.03103 |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|