Monadification of functional programs

Technical Report

Public Deposited

Citeable URL: https://ir.library.oregonstate.edu/concern/technical_reports/6d56zx78p

Descriptions

Attribute Name	Values
Creator	Oregon State University. Dept. of Computer Science Erwig, Martin Ren, Deling
Abstract	The structure of monadic functional programs allows the integration of many different features into such programs by just changing the definition of the monad and not the program, which is a desirable feature from a software engineering and maintenance point of view. We describe an algorithm for the automatic transformation of a function into such a monadic form. We argue that the proposed transformation is sound and under certain conditions also complete. We also show how invertible monads can be used to extend the scope of the proposed transformation and can help to prevent the proliferation of monads over a program. Keywords: Monad, Haskell, Program transformation
Resource Type	Research Paper
Date Available	2012-05-29T23:18:36+00:00
Date Issued	2002-10
Series	Technical report (Oregon State University. Department of Computer Science)
Subject	Haskell (Computer program language) Program transformation (Computer programming)
Rights Statement	Copyright Not Evaluated
Publisher	Corvallis, OR : Oregon State University, Dept. of Computer Science
Peer Reviewed	No
Language	English [eng]
Replaces	http://hdl.handle.net/1957/29412

Thumbnail	Title	Date Uploaded	Visibility	Actions
	Monadification_of_functional_programs.pdf	2017-07-18	Public	Download