Monadification of functional programs Export

@article{citeulike:1273212, abstract = {The structure of monadic functional programs allows the integration of many different features by just changing the definition of the monad and not the rest of the program, which is a desirable feature from a software engineering and software maintenance point of view. We describe an algorithm for the automatic transformation of a group of functions into such a monadic form. We identify two correctness criteria and argue that the proposed transformation is at least correct in the sense that transformed programs yield the same results as the original programs modulo monad constructors. The translation of a set of functions into monadic form is in most cases only a first step toward an extension of a program by adding new features. The extended behavior can be realized by choosing an appropriate monad type and by inserting monadic actions into the functions that have been transformed into monadic form. We demonstrate an approach to the integration of monadic actions that is based on the idea of specifying context-dependent rewritings.}, author = {Erwig, Martin and Ren, Deling}, booktitle = {Special Issue on Program Transformation}, citeulike-article-id = {1273212}, citeulike-linkout-0 = {http://www.sciencedirect.com/science/article/B6V17-4CJVGF8-2/2/b1cfd4846a49935a92eb8fc093dcf9d4}, citeulike-linkout-1 = {http://web.engr.oregonstate.edu/~erwig/papers/Monadify_SCP04.pdf}, journal = {Science of Computer Programming}, keywords = {haskell, monads, program-transformation}, month = {August}, number = {1-3}, pages = {101--129}, posted-at = {2009-03-11 15:12:44}, priority = {2}, title = {Monadification of functional programs}, url = {http://www.sciencedirect.com/science/article/B6V17-4CJVGF8-2/2/b1cfd4846a49935a92eb8fc093dcf9d4}, volume = {52}, year = {2004} }

TY - JOUR ID - citeulike:1273212 L3 - citeulike-article-id:1273212 N2 - The structure of monadic functional programs allows the integration of many different features by just changing the definition of the monad and not the rest of the program, which is a desirable feature from a software engineering and software maintenance point of view. We describe an algorithm for the automatic transformation of a group of functions into such a monadic form. We identify two correctness criteria and argue that the proposed transformation is at least correct in the sense that transformed programs yield the same results as the original programs modulo monad constructors. The translation of a set of functions into monadic form is in most cases only a first step toward an extension of a program by adding new features. The extended behavior can be realized by choosing an appropriate monad type and by inserting monadic actions into the functions that have been transformed into monadic form. We demonstrate an approach to the integration of monadic actions that is based on the idea of specifying context-dependent rewritings. IS - 1-3 JF - Science of Computer Programming EP - 129 TI - Monadification of functional programs VL - 52 T2 - Special Issue on Program Transformation SP - 101 KW - haskell KW - monads KW - program-transformation AU - Erwig, Martin AU - Ren, Deling PY - 2004/08// UR - http://www.sciencedirect.com/science/article/B6V17-4CJVGF8-2/2/b1cfd4846a49935a92eb8fc093dcf9d4 ER -