Haskell Language
Program-Transformation.Org: The Program Transformation Wiki
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