Monads, zippers and views: Virtualizing the monad stack

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2011, Pages 32-44

  Schrijvers, Tom ^a   Oliveira, Bruno C D S ^b  

^a GHENT UNIVERSITY   (Belgium)

^b Seoul National University   (South Korea)

Author keywords

Components with side effects; Modularity; Monad transformers; Zipper

Indexed keywords

HIGHER ORDER; MODULARITY; MONAD TRANSFORMERS; MONADIC EFFECT; NEW MECHANISMS; ONE STEP; SIDE EFFECT; VIRTUALIZATIONS; ZIPPER;

COMPUTER PROGRAMMING LANGUAGES; VIRTUAL REALITY;

FUNCTIONAL PROGRAMMING;

EID: 80054065422     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2034773.2034781     Document Type: Conference Paper

References (32)

1. D. Baatar, N. Boland, S. Brand, and P. Stuckey. CP and IP approaches to cancer radiotherapy delivery optimization. Constraints, 2011.
2. D. Brown and W. R. Cook. Monadic memoization mixins. Technical Report TR-07-11, The University of Texas, 2007.
3. P. Cenciarelli and E. Moggi. A syntactic approach to modularity in denotational semantics. In CCTCS '93: Proceedings of the Conference on Category Theory and Computer Science, 1993.
4. W. R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.
5. L. Duponcheel. Writing modular interpreters using catamorphisms, subtypes and monad transformers. Technical report, Utrecht University, 1995.
6. A. Filinski. Representing layered monads. In Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '99, pages 175-188, 1999.
7. A. Filinski. On the relations between monadic semantics. TTheor. Comput. Sci., 375:41-75, April 2007.
8. A. Filinski. Monads in action. In Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles ofprogramming languages, POPL '10, pages 483-494, 2010.
9. G. Huet. Functional Pearl: The Zipper. Journal of Functional Programming, 7(5):549-554, September 1997.
10. M. Jaskelioff. Monatron: An extensible monad transformer library. In IFL '08: Symposium on Implementation and Application of Functional Languages, 2008.
11. M. P. Jones and L. Duponcheel. Composing monads. Research Report YALEU/DCS/RR-1004, Yale University, New Haven, Connecticut, USA, December 1993.
12. O. Kiselyov, R. Lammel, and K. Schupke. Strongly typed heterogeneous collections. In Haskell 04: Proceedings of the ACM SIGPLAN workshop on Haskell, pages 96-107, 2004.
13. S. Liang, P. Hudak, and M. Jones. Monad transformers and modular interpreters. In POPL'95, 1995.
14. J. M. Lucassen and D. K. Gifford. Polymorphic effect systems. In Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles ofprogramming languages, POPL '88, pages 47-57, 1988.
15. E. Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Edinburgh University, Department of Computer Science, June 1989.
16. B. C. d. S. Oliveira, A. Moors, and M. Odersky. Type classes as objects and implicits. In OOPSLA '10:Proceedings of the ACM international conference on Object oriented programming systems languages and applications, pages 341-360, 2010.
17. B. C. d. S. Oliveira, T. Schrijvers, and W. R. Cook. Effectiveadvice: Disciplined advice with explicit effects. In AOSD '10: ACM SIG Proceedings ofthe 9th International Conference on Aspect-Oriented Software Development, 2010.
18. S. Peyton Jones et al. The Haskell 98 language and libraries: The revised report. Journal ofFunctional Programming, 13(1):0-255, Jan 2003.
19. D. Piponi. Tagging monad transformer layers, 2010. http://blog.sigfpe. com/2S1S/S2/tagging-monad-transformer-layers, html.
20. C. Prehofer. Flexible construction of software components: A feature oriented approach. Habilitation Thesis, Fakultat fur Informatik der Technischen Universitat Miinchen, 1999.
21. J. C. Reynolds. Types, abstraction, and parametric polymorphism. Information Processing, 83:513-523, 1983.
22. T. Schrijvers and B. C. d. S. Oliveira. Modular components with monadic effects. In Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010), number UU-CS-2010-020, pages 264-277, 2010.
23. T. Schrijvers and B. C. d. S. Oliveira. The monad zipper. Report CW 595, Dept. of Computer Science, K.U.Leuven, 2010.
24. T. Schrijvers, G. Tack, P. Wuille, H. Samulowitz, and P. Stuckey. Search combinators. In Proceedings ofthe 17th International Conference on Principles and Practice of Constraint Programming, 2011.
25. M. Snyder and P. Alexander. Monad factory: Type-indexed monads. In TFP 2010: Preproceedings of Trends in Functional Programming, pages 106-120, 2010.
26. G. L. Steele, Jr. Building interpreters by composing monads. In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 472-492, 1994.
27. W. Swierstra. Data types a la carte. J. Funct. Program., 18(4):423-436, 2008.
28. P. Wadler. Views: a way for pattern matching to cohabit with data abstraction. In POPL '87, pages 307-313, 1987.
29. P. Wadler. Theorems for free! In Functional Programming Languages and Computer Architecture, pages 347-359. 1989.
30. P. Wadler. Monads for functional programming. In Proceedings of the Marktoberdorf Summer School on Program Design Calculi, August 1992.
31. P. Wadler. The essence of functional programming. In POPL '92: Principles of Programming Languages, pages 1-14, 1992.
32. P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad hoc. In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 60-76, 1989.