Tool support for refactoring functional programs

Li, Huiqing; Reinke, Claus; Thompson, Simon

doi:10.1145/1328408.1328437

Cited by 27 publications

(13 citation statements)

References 4 publications

(1 reference statement)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Wrangler Wrangler [Li and Thompson(2008)] supports both Emacs (with Distel) and Eclipse. The refactoring palette contains seven transformation and two search options.…”

Section: Refactoring Toolsmentioning

confidence: 99%

Erlang testing and tools survey

Nagy

Víg

2008

Proceedings of the 7th ACM SIGPLAN Workshop on ERLANG

View full text Add to dashboard Cite

As the commercial usage of Erlang increases, so does the need for mature development and testing tools. This paper aims to evaluate the available tools with their shortcomings, strengths and commercial usability compared to common practices in other languages.To identify the needs of Erlang developers in this area we published an online survey advertising it in various media. The results of this survey and additional research in this field is presented. Through the comparison of tools and the requirements of the developers the paper identifies paths for future development.

show abstract

“…Wrangler Wrangler [Li and Thompson(2008)] supports both Emacs (with Distel) and Eclipse. The refactoring palette contains seven transformation and two search options.…”

Section: Refactoring Toolsmentioning

confidence: 99%

Erlang testing and tools survey

Nagy

Víg

2008

Proceedings of the 7th ACM SIGPLAN Workshop on ERLANG

View full text Add to dashboard Cite

show abstract

“…HaRe is implemented in Haskell using the Programatica frontend [9], and Strafunski [6]. More detailed explanation of the implementation of HaRe can be found in [7].…”

Section: The Implementation Languagementioning

confidence: 99%

“…After a refactoring, instead of pretty-printing the AST, we extract the source code from the transformed token stream. More details are presented in [7].…”

Section: Program Appearance Preservationmentioning

confidence: 99%

“…Our project 'Refactoring Functional Programs' [10], has developed the Haskell Refactorer, HaRe [7], providing support for refactoring Haskell programs. HaRe is a mature tool covering the full Haskell 98 standard, including "notoriously nasty" features such as monads, and is integrated with the two most popular development environments for Haskell programs: Vim and (X)Emacs.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Comparative Study of Refactoring Haskell and Erlang Programs

Thompson

2006

2006 Sixth IEEE International Workshop on Source Code Analysis and Manipulation

Self Cite

View full text Add to dashboard Cite

Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell and Erlang as examples, we investigate the application of refactoring techniques to functional programs, and building tools for supporting interactive refactoring.Although both Haskell and Erlang are general-purpose functional programming languages, they have many differences in their language design and programming idioms. As a result, program refactoring in the two languages has much in common, but also considerable differences. This paper makes this comparison, and in particular looks in more detail at the refactorings applicable in each language, the program analysis required by typical refactorings, and at tool support for refactoring Haskell and Erlang programs.module Fact(fac) where fac :: Int -> Int fac 0 = 1 fac n | n>0 = n * fac(n-1)

show abstract

“…The Haskell Refactorer HaRe [Li et al, 2003] is an exception, and provides an example of a real-life project in which a genericprogramming technique (Strafunski [Lämmel and Visser, 2002]) is used to implement traversals over a large abstract syntax tree. However, this project contains several other components that could have been implemented using generic-programming techniques, such as rewriting, unification, and pretty-printing modules.…”

Section: Introductionmentioning

confidence: 99%

Comparing libraries for generic programming in haskell

Rodriguez

Jeuring

Jansson

et al. 2008

Proceedings of the First ACM SIGPLAN Symposium on Haskell

View full text Add to dashboard Cite

Datatype-generic programming is defining functions that depend on the structure, or "shape", of datatypes. It has been around for more than 10 years, and a lot of progress has been made, in particular in the lazy functional programming language Haskell. There are more than 10 proposals for generic programming libraries or language extensions for Haskell. To compare and characterize the many generic programming libraries in a typed functional language, we introduce a set of criteria and develop a generic programming benchmark: a set of characteristic examples testing various facets of datatype-generic programming. We have implemented the benchmark for nine existing Haskell generic programming libraries and present the evaluation of the libraries. The comparison is useful for reaching a common standard for generic programming, but also for a programmer who has to choose a particular approach for datatype-generic programming.

show abstract

Tool support for refactoring functional programs

Cited by 27 publications

References 4 publications

Erlang testing and tools survey

Erlang testing and tools survey

Comparative Study of Refactoring Haskell and Erlang Programs

Comparing libraries for generic programming in haskell

Contact Info

Product

Resources

About