Ticket #37 (closed proposed-project: wontfix)
Refactoring to Classes
|Reported by:||paolo||Owned by:||none|
Description (last modified by nominolo) (diff)
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.
- (2006) Simon Thompson <s.j.thompson@…>