Abstract:
Current meta-programming systems either offer little guarantee of semantic well-formedness of the generated program (e.g., no type safety guarantee) or impose significant restrictions on what kinds of programs can be generated. This talks overviews existing points in the design space and discusses how the boundaries can be pushed to provide powerful yet guaranteed safe meta-programming.