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: