Monatron: an extensible monad transformer library

Authors:
Mauro Jaskelioff
Affiliations:
Functional Programming Laboratory, University of Nottingham
Venue:
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Year:
2008

Citing 13
Cited 6

Notions of computation and monads

Information and Computation
The essence of functional programming

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Imperative functional programming

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monad transformers and modular interpreters

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
First-class polymorphism with type inference

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Deriving backtracking monad transformers

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Monads and Effects

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
The Design of a Pretty-printing Library

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
Monadic parsing in Haskell

Journal of Functional Programming
Parallel Parsing Processes

Journal of Functional Programming
Xmonad

Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Asymptotic Improvement of Computations over Free Monads

MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Modular Monad Transformers

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009

Monad transformers as monoid transformers

Theoretical Computer Science
Monads, zippers and views: virtualizing the monad stack

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Towards modular compilers for effects

TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Modular monadic meta-theory

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Handlers in action

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
The constrained-monad problem

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Monads are pervasive in functional programming. In order to reap the benefits of their abstraction power, combinator libraries for monads are necessary. Monad transformers provide the basis for such libraries, and are based on a design that has proved to be successful. In this article, we show that this design has a number of shortcomings and provide a new design that builds on the strengths of the traditional design, but addresses its problems.