Programming monads operationally with Unimo

@inproceedings{Lin2006ProgrammingMO,
  title={Programming monads operationally with Unimo},
  author={Chuan-Kai Lin},
  booktitle={ICFP},
  year={2006}
}
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on its computational effects, programmers cannot leverage the common behavior of all monads easily and thus must build from scratch each monad that models a new computational effect.I propose the Unimo framework which allows programmers to define monads and monad transformers in a modular manner. Unimo contains a heavily… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-7 OF 7 REFERENCES

The design of a pretty-printing library

  • John Hughes
  • Advanced Functional Programming: First…
  • 1995
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…