#Haskell combinators for impure yet hygienic #CodeGeneration
"The goals of #expressivity, #composability and #StaticAssurances are in conflict, which so far has remained unresolved. This paper reports the first approach that simultaneously achieves these goals. We express #optimizations such as #LoopTiling, we change optimizations without rewriting the rest of the generator, and we assure the #WellFormedness, #WellTypedness as well as #WellScopedness of the generated code
http://okmij.org/ftp/tagless-final/TaglessStaged/