A type system for reflective program generators
Science of Computer Programming
A type system for reflective program generators
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Hi-index | 0.00 |
In this paper we show how the concept of code generators can be safely implemented into an object oriented language. Modern languages like Java and C# begin to offer advanced features for generative programming, like generic types. Our own extension of C# generalizes the concept of generic types by combining it with reflection. With reflection many code generation tasks can be accomplished for which generic types are insufficient. By balancing the availability of code generation features with their safety, we are able to detect potential generation errors statically.