Monads for functional programming Export

@inproceedings{citeulike:82598, 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}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.4582}, editor = {\~{}broy}, keywords = {monads, programming}, posted-at = {2005-10-11 19:52:26}, priority = {3}, publisher = {Springer-Verlag}, title = {Monads for functional programming}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.4582}, year = {1993} }

TY - CONF ID - citeulike:82598 L3 - citeulike-article-id:82598 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... TI - Monads for functional programming PB - Springer-Verlag T2 - Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School KW - monads KW - programming AU - Wadler, Philip A2 - ~broy PY - 1993/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.4582 ER -