Monads, zippers and views: virtualizing the monad stack

  title={Monads, zippers and views: virtualizing the monad stack},
  author={Tom Schrijvers and Bruno C. d. S. Oliveira},
We make monadic components more reusable and robust to changes by employing two new techniques for virtualizing the monad stack: the monad zipper and monad views. The monad zipper is a higher-order monad transformer that creates virtual monad stacks by ignoring particular layers in a concrete stack. Monad views provide a general framework for monad stack virtualization: they take the monad zipper one step further and integrate it with a wide range of other virtualizations. For instance… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-7 of 7 references

Flexible construction of software components: A feature oriented approach

  • C. Prehofer
  • Habilitation Thesis, Fakultät für Informatik der…
  • 1999
Highly Influential
7 Excerpts

Tagging monad transformer layers (2010) 02/tagging-monad-transformer-layers.html

  • D. Piponi
  • 2010
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…