Refactoring to Classes

[paolo]

Haskell has a powerful overloading mechanism with interfaces provided by type classes and bindings to those interfaces by instance declarations. It is natural during program development first to define a system without overloading, and then to identify ways in which it can be introduced. This might be by identifying a single set of functions to form the basis of a class, or by identifying two such sets, which are to share the same collection of names.

The aim of the project is to identify the use cases which would be most helpful to users, and then to implement them in the Haskell Refactorer,  HaRe,. A particularly fertile application area is in transformation of non-monadic code into a monadic version.

Interested Mentors

• (2006) Simon Thompson <s.j.thompson@…>

Interested Students

[tibbe]

Nice idea but I don't think HaRe? is used enough that this gives us enough bang for the buck. Of course, one might argue that HaRe? would be used more if it had more features but I think the lack of use is more due to lack of integration with developer tools (i.e. Emacs, Vim, IDEs).