Type-directed, whitespace-delimited parsing for embedded DSLs

Abstract

Domain-specific languages improve ease-of-use, expressiveness and verifiability, but defining and using different DSLs within a single application remains difficult. We introduce an approach for embedded DSLs where 1) whitespace delimits DSL-governed blocks, and 2) the parsing and type checking phases occur in tandem so that the expected type of the block… (More)
DOI: 10.1145/2489812.2489815

Topics

3 Figures and Tables

Cite this paper

@inproceedings{Omar2013TypedirectedWP, title={Type-directed, whitespace-delimited parsing for embedded DSLs}, author={Cyrus Omar and Benjamin I Chung and Darya Kurilova and Alex Potanin and Jonathan Aldrich}, booktitle={GlobalDSL@ECOOP}, year={2013} }