Tool support for refactoring functional programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Tool support for refactoring functional programs

Full text

Pdf (156 KB)

Source

Haskell Workshop archive
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell table of contents

Uppsala, Sweden

Pages: 27 - 38

Year of Publication: 2003

ISBN:1-58113-758-3

Authors

Huiqing Li	University of Kent
Claus Reinke	University of Kent
Simon Thompson	University of Kent

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 90, Citation Count: 6

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/871895.871899 What is a DOI?

ABSTRACT

Refactorings are source-to-source program transformations which change program structure and organisation, but not program functionality. Documented in catalogues and supported by tools, refactoring provides the means to adapt and improve the design of existing code, and has thus enabled the trend towards modern agile software development processes. Refactoring has taken a prominent place in software development and maintenance, but most of this recent success has taken place in the OO and XP communities.In our project, we explore the prospects for 'Refactoring Functional Programs', taking Haskell as a concrete case-study. This paper discusses the variety of pragmatic and implementation issues raised by our work on the Haskell Refactorer. We briefly introduce the ideas behind refactoring, and a set of elementary functional refactorings. The core of the paper then outlines the main challenges that arise from our aim to produce practical tools for a decidedly non-toy language, summarizes our experience in trying to establish the necessary meta-programming infrastructure and gives an implementation overview of our current prototype refactoring tool. Using Haskell as our implementation language, we also offer some preliminary comments on Haskell programming-in-the-large.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	R. M. Burstall , John Darlington, A Transformation System for Developing Recursive Programs, Journal of the ACM (JACM), v.24 n.1, p.44-67, Jan. 1977 [doi>10.1145/321992.321996]
	2	J. Darlington , D. Turner , P. Henderson, Functional Programming and Its Applications: An Advanced Course, Cambridge University Press, New York, NY, 1982
	3	Iavor S. Diatchki , Mark P. Jones , Thomas Hallgren, A formal specification of the Haskell 98 module system, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, p.17-28, October 03, 2002, Pittsburgh, Pennsylvania [doi>10.1145/581690.581692]
	4	C. Reinke (ed.). Haskell Communities and Activities Report. http://haskell.org/communities/, May 2003.
	5	Martin Erwig , Deling Ren, A rule-based language for programming software updates, Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming, p.67-78, October 05, 2002, Pittsburgh, Pennsylvania [doi>10.1145/570186.570193]
	6	Robert W. Floyd, The paradigms of programming, Communications of the ACM, v.22 n.8, p.455-460, Aug. 1979 [doi>10.1145/359138.359140]
	7	Refactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
	8	William G. Griswold , David Notkin, Automated assistance for program restructuring, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.3, p.228-269, July 1993 [doi>10.1145/152388.152389]
	9	William G. Griswold. Program restructuring to aid software maintenance. PhD thesis, Univ. of Washington, Dept. of CS and Engineering, 1991. Tech. Rep. No. 91-08-04.
	10	W. Guttmann, H. Partsch, W. Schulte, and T. Vullinghs. Tool Support for the Interactive Derivation of Formally Correct Functional Programs, Ext. Abstr. In FM-TOOLS, July 2002. http://www.informatik.uni-ulm.de/pm/ultra/.
	11	T. Hallgren. A Lexer for Haskell in Haskell. http://www.cse.ogi.edu/~hallgren/Talks/LHiH/2002-01-14.html.
	12	Paul Hudak, Conception, evolution, and application of functional programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.359-411, Sep. 1989 [doi>10.1145/72551.72554]
	13	Mark P. Jones. Typing Haskell in Haskell. http://www.cse.ogi.edu/~mpj/thih/, November 2000.
	14	Jan Kort and Ralf Lammel. A Framework for Datatype Transformation. In Proc. of Language, Descriptions, Tools, and Applications (LDTA 2003). Elsevier, April 2003.
	15	Ralf Lämmel, Reuse by Program Transformation, Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), p.144-153, August 29-September 01, 1999
	16	Ralf Lämmel, Towards generic refactoring, Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming, p.15-28, October 05, 2002, Pittsburgh, Pennsylvania [doi>10.1145/570186.570188]
	17	Ralf Lämmel , Simon Peyton Jones, Scrap your boilerplate: a practical design pattern for generic programming, Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, January 18-18, 2003, New Orleans, Louisiana, USA
	18	R. Lammel and J. Visser. Generic Programming with Strafunski. http://www.cs.vu.nl/Strafunski/, 2001.
	19	Ralf Lämmel , Joost Visser, Design patterns for functional strategic programming, Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming, p.1-14, October 05, 2002, Pittsburgh, Pennsylvania [doi>10.1145/570186.570187]
	20	Ralf Lämmel , Joost Visser, Typed Combinators for Generic Traversal, Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, p.137-154, January 19-20, 2002
	21	R. Lammel, J. Visser, and J. Kort. Dealing with Large Bananas. In J. Jeuring, editor, Proceedings of WGP'2000, Tech. Report, Universiteit Utrecht, pages 46--59, July 2000.
	22	Simon Marlow. Haddock: A Haskell Documentation Tool. http://www.haskell.org/haddock/.
	23	William F. Opdyke, Refactoring object-oriented frameworks, University of Illinois at Urbana-Champaign, Champaign, IL, 1992
	24	H. Partsch , R. Steinbrüggen, Program Transformation Systems, ACM Computing Surveys (CSUR), v.15 n.3, p.199-236, Sept. 1983 [doi>10.1145/356914.356917]
	25	Don Roberts , John Brant , Ralph Johnson, A refactoring tool for Smalltalk, Theory and Practice of Object Systems, v.3 n.4, p.253-263, 1997 [doi>10.1002/(SICI)1096-9942(1997)3:4<253::AID-TAPO3>3.3.CO;2-I ]
	26	Donald Bradley Roberts. Practical Analysis for Refactoring. PhD thesis, Univ. of Illinois at Urbana Champaign, 1999.
	27	Chris Ryder. The Medina metrics library for Haskell. http://www.cs.kent.ac.uk/~cr24/medina/, 2002.
	28	Tim Sheard, Generic unification via two-level types and parameterized modules, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, September 03-05, 2001, Florence, Italy
	29	R. D. Tennent. Language Design Methods Based on Semantic Principles. Acta Informatica, 8:97--112, 1977.
	30	Mark Anders Tullsen , Paul Hudak, Path, a program transformation system for haskell, 2002
	31	Eelco Visser. Stratego -- Strategies for Program Transformation. http://www.stratego-language.org/.
	32	Eelco Visser , Zine-el-Abidine Benaissa , Andrew Tolmach, Building program optimizers with rewriting strategies, Proceedings of the third ACM SIGPLAN international conference on Functional programming, p.13-26, September 26-29, 1998, Baltimore, Maryland, United States

CITED BY 6

	Alain Coutu , Catharina Serino , Suzanne Smith , Sara Stoecklin, A framework for an adaptive refactoring tool, Proceedings of the 7th WSEAS International Conference on Automation & Information, p.138-143, June 13-15, 2006, Cavtat, Croatia
	Huiqing Li , Simon Thompson, Tool support for refactoring functional programs, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
	Martin Erwig , Deling Ren, Monadification of functional programs, Science of Computer Programming, v.52 n.1-3, p.101-129, August 2004
	Alexander Serebrenik , Tom Schrijvers , Bart Demoen, Improving prolog programs: Refactoring for prolog, Theory and Practice of Logic Programming, v.8 n.2, p.201-215, March 2008
	Tom Mens , Tom Tourwé, A Survey of Software Refactoring, IEEE Transactions on Software Engineering, v.30 n.2, p.126-139, February 2004
	Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California