Refactoring Functional Programs

Thompson, Simon and Reinke, Claus (2001) Refactoring Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (Full text available)

PDF
Download (164kB)
[img]
Preview

Abstract

Refactoring is the process of redesigning existing code without changing its functionality. Refactoring has recently come to prominence in the OO community. In this paper we explore the prospects for refactoring functional programs. Our paper centres on the case study of refactoring a 400 line Haskell program written by one of our students. The case study illustrates the type and variety of program manipulations involved in refactoring. Similarly to other program transformations, refactorings are based on program equivalences, and thus ultimately on language semantics. In the context of functional languages, refactorings can be based on existing theory and program analyses. However, the use of program transformations for program restructuring emphasises a different kind of transformation from the more traditional derivation or optimisation: characteristically, they often require wholesale changes to a collection of modules, and although they are best controlled by programmers, their application may require nontrivial semantic analyses. The paper also explores the background to refactoring, provides a taxonomy for describing refactorings and draws some conclusions about refactoring for functional programs.

Item Type: Monograph (Technical report)
Additional information: Technical Report 16-01
Uncontrolled keywords: refactoring, functional programming, case study
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:58
Last Modified: 06 Sep 2011 01:08
Resource URI: http://kar.kent.ac.uk/id/eprint/13540 (The current URI for this page, for reference purposes)
ORCiD (Thompson, Simon):
ORCiD (Reinke, Claus):
  • Depositors only (login required):

Downloads

Downloads per month over past year