Tratt, L., 2005. Compile-time meta-programming in a dynamically typed OO language. Proceedings of the 2005 symposium on Dynamic languages, pp. 49-63.
Full text not available from this repository.
Official URL: http://portal.acm.org/citation.cfm?id=1146846
Compile-time meta-programming allows programs to be constructed by the user at compile-time. Although LISP derived 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 statically 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 integrating powerful, safe compile-time meta-programming features into a dynamic language requires few restrictions to the flexible 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 explain how such a facility might be integrated into similar languages.
|Additional Information:||Proceedings of the 2005 symposium on Dynamic languages 2005, San Diego, California October 18 - 18, 2005|
|Subjects:||Generalities > Computer Science and Informatics|
Technology > Manufacturing and Design > Design
|Group:||School of Design, Engineering & Computing > Software Systems Research Centre|
|Deposited By:||INVALID USER|
|Deposited On:||01 Sep 2008 18:29|
|Last Modified:||07 Mar 2013 14:50|
|Repository Staff Only -|
|BU Staff Only -|
|Help Guide -||Editing Your Items in BURO|