Polymorphic embedding of DSLs (2008)
| Venue: | In GPCE’08. ACM |
| Citations: | 7 - 3 self |
BibTeX
@INPROCEEDINGS{Hofer08polymorphicembedding,
author = {Christian Hofer and Klaus Ostermann and Tillmann Rendel},
title = {Polymorphic embedding of DSLs},
booktitle = {In GPCE’08. ACM},
year = {2008}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a single semantics. This precludes the subsequent addition of compilation, optimization or domain-specific analyses. We propose polymorphic embedding of DSLs, where many different interpretations of a DSL can be provided as reusable components, and show how polymorphic embedding can be realized in the programming language Scala. With polymorphic embedding, the static type-safety, modularity, composability and rapid prototyping of pure embedding are reconciled with the flexibility attainable by external toolchains. Categories and Subject Descriptors D.3.2 [Programming Languages]: Language Classifications—Extensible languages, Specialized
