Functional Transformation Systems

Program-Transformation.Org: The Program Transformation Wiki

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.


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.

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


These issues are addressed in the following papers: