Views, Program Transformations, and the Evolutivity Problem in a Functional Language

Julien Cohen (1) , Rémi Douence (2)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 ASCOLA - Aspect and composition languages

We report on an experience to support multiple views of programs to solve the tyranny of the dominant decomposition in a functional setting. We consider two possible architectures in Haskell for the classical example of the expression problem. We show how the Haskell Refactorer can be used to transform one view into the other, and the other way back. That transformation is automated and we discuss how the Haskell Refactorer has been adapted to be able to support this automated transformation. Finally, we compare our implementation of views with some of the literature.

Mots clés: program transformation; views; refactoring; dominant decomposition

Domaines: Génie logiciel [cs.SE]; Langage de programmation [cs.PL]

Julien Cohen, Rémi Douence. Views, Program Transformations, and the Evolutivity Problem in a Functional Language. 2011. ⟨hal-00481941v2⟩