Monads for functional programming

by: Philip Wadler

edited by: ~broy

(1993)

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

JeffreyPalmer, cedricboidin, grzegorz, jburnim, rahul, damaru, ben_moseley, bunge, glaubersp, mingguo, ds, conal, ariels, cdiggins, SRL (group), SIG (group), hayeah, SamB, mmarcus, americovargas, namin, functional programming (group), Lambda the Ultimate (group), pedagand

Find related articles with these CiteULike tags

afp, category-theory, cs_252r, fonctional, functional, functional-programming, funtional-programming, hardcopy, haskell, monad, monads, no-tag, pl, programming, theory

Abstract

. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global state, exception handling, output, or non-determinism. Three case studies are looked at in detail: how monads ease the modification of a simple evaluator; how monads act as the basis of a datatype of arrays subject to in-place update; and how monads can be used to build parsers. 1 Introduction Shall I be pure or impure? The...

@inproceedings{Wadler95:MonadsFP, abstract = {. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global state, exception handling, output, or non-determinism. Three case studies are looked at in detail: how monads ease the modification of a simple evaluator; how monads act as the basis of a datatype of arrays subject to in-place update; and how monads can be used to build parsers. 1 Introduction Shall I be pure or impure? The...}, author = {Wadler, Philip }, booktitle = {Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School}, citeulike-article-id = {82598}, editor = {\~{}broy}, keywords = {monads}, posted-at = {2008-03-30 20:43:54}, priority = {0}, publisher = {Springer-Verlag}, title = {Monads for functional programming}, url = {http://citeseer.ist.psu.edu/wadler95monads.html}, year = {1993} }

RIS record

TY - CONF ID - Wadler95:MonadsFP L3 - citeulike-article-id:82598 TI - Monads for functional programming T2 - Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School PB - Springer-Verlag N2 - . The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global state, exception handling, output, or non-determinism. Three case studies are looked at in detail: how monads ease the modification of a simple evaluator; how monads act as the basis of a datatype of arrays subject to in-place update; and how monads can be used to build parsers. 1 Introduction Shall I be pure or impure? The... KW - monads AU - Wadler, Philip A2 - ~broy PY - 1993/// UR - http://citeseer.ist.psu.edu/wadler95monads.html ER -

RIS BibTeX