Publications:DSL Implementation in MetaOCaml, Template Haskell, and C++
From CERES
Title | DSL Implementation in MetaOCaml, Template Haskell, and C++ |
---|---|
Author | Krzysztof Czarnecki and John T. O’Donnell and Jörg Striegnitz and Walid Taha |
Year | 2004 |
PublicationType | Conference Paper |
Journal | |
HostPublication | Domain-Specific Program Generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers |
DOI | http://dx.doi.org/10.1007/978-3-540-25935-0_4 |
Conference | International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003 |
Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:396147 |
Abstract | A wide range of domain-specific languages (DSLs) has beenimplemented successfully by embedding them in general purpose languages.This paper reviews embedding, and summarizes how two alternativetechniques—staged interpreters and templates—can be used toovercome the limitations of embedding. Both techniques involve a formof generative programming. The paper reviews and compares three programminglanguages that have special support for generative programming.Two of these languages (MetaOCaml and Template Haskell) areresearch languages, while the third (C++) is already in wide industrialuse. The paper identifies several dimensions that can serve as a basis forcomparing generative languages. |