CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
artículos
Título:
A unified view of monadic and applicative non-determinism
Autor/es:
RIVAS, EXEQUIEL; JASKELIOFF, MAURO; SCHRIJVERS, TOM; RIVAS, EXEQUIEL; JASKELIOFF, MAURO; SCHRIJVERS, TOM
Revista:
SCIENCE OF COMPUTER PROGRAMMING
Editorial:
ELSEVIER SCIENCE BV
Referencias:
Año: 2018 vol. 152 p. 70 - 98
ISSN:
0167-6423
Resumen:
It is well-known that monads are monoids in the category of endofunctors, and in fact so are applicative functors. Unfortunately, monoids do not have enough structure to account for computational effects with non-determinism operators. This article recovers a unified view of computational effects with non-determinism by extending monoids to near-semirings with both additive and multiplicative structure. This enables us to generically define free constructions as well as a novel double Cayley representation that optimises both left-nested sums and left-nested products.
