Haskell is a general purpose lazy functional programming language. The language is a grateful subject of program transformation. Program transformations play a prime role in GHC, the Glasgow Haskell Compiler.

• Homepage: http://www.haskell.org
• 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 pattern matching.

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 Simon Peyton Jones et al. is based on the paradigm of compilation by transformation.

See Also

• Template Haskell
• FunctionalTransformationSystems