A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Embedding effect systems in Haskell
2014
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14
Monads are now an everyday tool in functional programming for abstracting and delimiting effects. The link between monads and effect systems is well-known, but in their typical use, monads provide a much more coarse-grained view of effects. Effect systems capture fine-grained information about the effects, but monads provide only a binary view: effectful or pure. Recent theoretical work has unified fine-grained effect systems with monads using a monad-like structure indexed by a monoid of
doi:10.1145/2633357.2633368
dblp:conf/haskell/OrchardP14
fatcat:mgydh7itgffr3divcfvz3usva4