Compile-time meta-programming in a dynamically typed OO language.

Conference paper


Tratt, L. 2005. Compile-time meta-programming in a dynamically typed OO language. Dynamic Languages Symposium. San Diego, California, USA 18 Oct 2005 New York Association for Computing Machinery (ACM). pp. 49-64
TypeConference paper
TitleCompile-time meta-programming in a dynamically typed OO language.
AuthorsTratt, L.
Abstract

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.

ConferenceDynamic Languages Symposium
Page range49-64
Proceedings TitleDLS '05: Proceedings of the 2005 symposium on Dynamic languages
PublisherAssociation for Computing Machinery (ACM)
Place of publicationNew York
Publication process dates
Deposited27 May 2010
Output statusPublished
LanguageEnglish
File
Permalink -

https://repository.mdx.ac.uk/item/82ww8

Download files

  • 20
    total views
  • 10
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as