Tool support for refactoring functional programs

Authors:
Huiqing Li;Simon Thompson
Affiliations:
University of Kent, UK;University of Kent, UK
Venue:
Proceedings of the 2nd Workshop on Refactoring Tools
Year:
2008

Citing 6
Cited 2

Tool support for refactoring functional programs

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Comparative Study of Refactoring Haskell and Erlang Programs

SCAM '06 Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation
Mechanical verification of refactorings

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Tool support for refactoring functional programs

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
The Haskell Refactorer, HaRe, and its API

Electronic Notes in Theoretical Computer Science (ENTCS)

Automated module interface upgrade

Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Static analysis of complex software systems implemented in erlang

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the Haskell Refactorer, HaRe, and the Erlang Refactorer, Wrangler, as examples of fully-functional refactoring tools for functional programming languages. HaRe and Wrangler are designed to handle multi-module projects in complete languages: Haskell 98 and Erlang/OTP. They are embedded in Emacs, (gVim and Eclipse) and respect programmer layout styles. In discussing the construction of HaRe and Wrangler, we comment on the different challenges presented by Haskell and Erlang due to their differences in syntax, semantics and pragmatics. In particular, we examine the sorts of analysis that underlie our systems.