Compile-time meta-programming in a dynamically typed OO language
Compile-time meta-programming allows programs to be con- structed by the user at compile-time. Although LISP de- rived languages have long had such facilities, few modern languages are capable of compile-time meta-programming, and of those that do many of the most powerful are stat- ically typed functional languages. In this paper I present the dynamically typed object orientated language Converge which allows compile-time meta-programming in the spirit of Template Haskell. Converge demonstrates that integrat- ing powerful, safe compile-time meta-programming features into a dynamic language requires few restrictions to the flex- ible development style facilitated by the paradigm. In this paper I detail Converge's compile-time meta-programming facilities, much of which is adapted from Template Haskell, contain several features new to the paradigm. Finally I ex- plain how such a facility might be integrated into similar languages.