主催: 日本ソフトウェア科学会
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.