Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Fri 23 Sep 2016 14:25 - 14:50 at Noh Theater - Monads Chair(s): Yukiyoshi Kameyama

Several popular generalizations of monads have been
implemented in Haskell. Unfortunately, because the shape of the associated type constructors do not match the standard Haskell monad interface, each such implementation provides its own type class and versions of associated library functions. Furthermore, simultaneous use of different monadic notions can be cumbersome as it in general is necessary to be explicit about which notion is used where. In this paper we introduce \emph{supermonads}: an encoding of monadic notions that captures several different generalizations along with a version of the standard library of monadic functions that work uniformly with all of them.
As standard Haskell type inference does not work for supermonads due to their generality, our supermonad implementation is accompanied with a language extension, in the form of a plugin
for the Glasgow Haskell Compiler (GHC), that allows type inference
for supermonads, obviating the need for manual annotations.

Fri 23 Sep

haskellsymp-2016-papers
14:00 - 14:50: Haskell - Monads at Noh Theater
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
haskellsymp-2016-papers14:00 - 14:25
Talk
Pablo BuirasChalmers University of Technology, Koen ClaessenChalmers University of Technology, Atze van der Ploeg
DOI
haskellsymp-2016-papers14:25 - 14:50
Talk
DOI