A Combinator Library for Specifying Program Transformation

抄録

We present an embedded domain specific language for specifyingprogram transformations. The language is implemented as a monadic combinatorlibrary in Haskell. The transformations are done at compile time using themechanism of Template Haskell. The library provides a modular way to structureabstract and intuitive transformation strategies by higher-order matching andmonadic programming.