Pattern synonyms
Pattern matching has proven to be a convenient, expressive way of inspecting data. Yet this
language feature, in its traditional form, is limited: patterns must be data constructors of …
language feature, in its traditional form, is limited: patterns must be data constructors of …
Monad transformers and modular algebraic effects: what binds them together
For over two decades, monad transformers have been the main modular approach for
expressing purely functional side-effects in Haskell. Yet, in recent years algebraic effects …
expressing purely functional side-effects in Haskell. Yet, in recent years algebraic effects …
Algebras for weighted search
Weighted search is an essential component of many fundamental and useful algorithms.
Despite this, it is relatively under explored as a computational effect, receiving not nearly as …
Despite this, it is relatively under explored as a computational effect, receiving not nearly as …
From monoids to near-semirings: The essence of MonadPlus and Alternative
E Rivas, M Jaskelioff, T Schrijvers - Proceedings of the 17th International …, 2015 - dl.acm.org
It is well-known that monads are monoids in the category of endofunctors, and in fact so are
applicative functors. Unfortunately, the benefits of this unified view are lost when the …
applicative functors. Unfortunately, the benefits of this unified view are lost when the …
[HTML][HTML] A unified view of monadic and applicative non-determinism
E Rivas, M Jaskelioff, T Schrijvers - Science of Computer Programming, 2018 - Elsevier
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 …
applicative functors. Unfortunately, monoids do not have enough structure to account for …
[PDF][PDF] Pattern synonyms (extended version)
Pattern matching has proven to be a convenient, expressive way of inspecting data. Yet this
language feature, in its traditional form, is limited: patterns must be data constructors of …
language feature, in its traditional form, is limited: patterns must be data constructors of …
A unified view of monadic and applicative non-determinism
EM Rivas Gadda, MJ Jaskelioff, T Schrijvers - 2018 - ri.conicet.gov.ar
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 …
applicative functors. Unfortunately, monoids do not have enough structure to account for …