In this paper we analyze existing generative programming technologies with respect to prototypical example problems. We point out their benefits and shortcomings, introduce the notion of generator type safety and eventually propose a new approach, which integrates introspection with parametric polymorphism and statically ensures generator type safety.
