Functional Transformation Systems

Program-Transformation.Org: The Program Transformation Wiki
Description

Functional programming languages can be used as a platform for program transformation in particular and transformational programming in general. A transformation system based on functional programming can be called a functional transformation system.

Issues

Strong typing: One of the essential features of functional programming languages are their strong type systems. In order to use functional programming as a platform for a transformation system, types have to be given to transformations.

Scalability
In a too naive approach, typedness can be at odds with scalability. This problem can be addressed with UpdatableFolds.

Publications

These issues are addressed in the following papers: