Almost First-Class Language Embedding: Taming Staged Embedded DSLs
Embedded domain-specific languages (EDSLs), inheriting a general-purpose language’s features as well as look-and-feel, have traditionally been second-class or rather non-citizens in terms of host-language design. This makes sense when one regards them to be on the same level as traditional, non-EDSL library interfaces. However, this equivalence only applies to the simplest of EDSLs. In this paper we illustrate why this is detrimental when moving on to EDSLs that employ staging, i.e. program reification, by example of various issues that affect authors and users alike. We believe that if EDSLs are to be considered a reliable, language-like interface abstraction, they require exceptional attention and design scrutiny. Instead of unenforceable conventions, we advocate the acceptance of EDSLs as proper, i.e. almost first-class, citizens while retaining most advantages of pure embeddings. As a small step towards this goal, we present a pragmatic framework prototype for Java. It is based on annotations that explicate and document membership to explicit EDSL entities. In a nutshell, our framework identifies (annotated) method calls and field accesses as EDSL terms and dynamically constructs an abstract syntax representation, which is eventually passed to a semantics-defining back end implemented by the EDSL author.
Mon 26 OctDisplayed time zone: Eastern Time (US & Canada) change
10:30 - 12:00 | |||
10:30 10mDay opening | Opening Remarks GPCE | ||
10:40 30mTalk | Shallow Embedding of DSLs via Online Partial Evaluation GPCE Roland Leißa , Klaas Boesche Saarland University, Sebastian Hack , Richard Membarth German Research Center for Artificial Intelligence, Philipp Slusallek German Research Center for Artificial Intelligence | ||
11:10 30mTalk | Almost First-Class Language Embedding: Taming Staged Embedded DSLs GPCE | ||
11:40 20mTalk | Generating Safe Boundary APIs between Typed EDSLs and their Environments GPCE Bob Reynders iMinds - Distrinet, KU Leuven, Dominique Devriese iMinds - Distrinet, KU Leuven, Frank Piessens iMinds - Distrinet, KU Leuven |