Homepage: http://www.haskell.org

Haskell is a general purpose lazy FunctionalProgrammingLanguage. The language is a grateful subject of ProgramTransformation. Program transformations play a prime role in GHC, the Glasgow Haskell Compiler.

• Definition: http://www.haskell.org/definition/

Haskell as Transformation Language

Although it is not primarily aimed at program transformation, it has some features in common with program transformation languages, including PatternMatching.

strengths

• AlgebraicDataTypes^?
• PatternMatching
• Higher-order functional abstraction

weaknesses

• No separation of rules and strategies
• No first-class pattern matching

Applications of Haskell to program transformation

• GHC, the Glasgow Haskell Compiler, built by SimonPeytonJones et al. is based on the paradigm of CompilationByTransformation.

See Also

• FunctionalTransformationSystems