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:

Revision: r1.1 - 09 May 2001 - 21:56 - EelcoVisser
Transform > FunctionalTransformationSystems
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback