The EDSL's Struggle for Their Sources

• Published in: Central European Functional Programming School Vol. 8606; pp. 300 - 335
• Main Authors: Dévai, Gergely, Leskó, Dániel, Tejfel, Máté
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 01.01.2015; Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: Computer programming / software development; Domain-specific Language Embedding (EDSL); Host Language; Programming & scripting languages: general; Software Engineering; Standalone Language; Target Code Generation; Wrapper Node
• ISBN: 3319159399; 9783319159393
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-319-15940-9_7

Embedded Domain Specific Languages make language design and implementation easier, because lexical and syntactical analysis and part of the semantic checks can be completed by the compiler of the host language. On the other hand, by the nature of embedding, EDSL compilers have to work with a syntax tree that stores no information about the source file processed and the location of the program entities within the source file. This makes it hard to produce user-friendly error messages and connect the generated target code with the source code for debugging and profiling purposes. This lecture note presents this problem in detail and shows possible solutions. The first, lightweight solution uses macro preprocessing. The second one is based on syntax tree transformations to add missing source-related information. This is more powerful, but also more heavyweight. The last technique avoids the problem by turning the embedded language implementation to a standalone one (with own parser) after the experimental phase of the language development process: It turns out that most of the embedded implementation can be reused in the standalone one.