Yin-yang: concealing the deep embedding of DSLs

Deeply embedded domain-specific languages (EDSLs) intrinsically compromise programmer experience for improved program performance. Shallow EDSLs complement them by trading program performance for good programmer experience. We present Yin-Yang, a framework for DSL embedding that uses Scala macros to reliably translate shallow EDSL programs to the corresponding deep EDSL programs. The translation allows program prototyping and development in the user friendly shallow embedding, while the corresponding deep embedding is used where performance is important. The reliability of the translation completely conceals the deep em- bedding from the user. For the DSL author, Yin-Yang automatically generates the deep DSL embeddings from their shallow counterparts by reusing the core translation. This obviates the need for code duplication and leads to reliability by construction.

Publié dans:
Acm Sigplan Notices, 50, 3, 73-82
Présenté à:
International Conference on Generative Programming: Concepts and Experiences - GPCE 2014, Västerås, Sweden, 15-16 09 2014
New York, New York, USA, ACM Press

 Notice créée le 2014-11-18, modifiée le 2019-04-22

Télécharger le document

Évaluer ce document:

Rate this document:
(Pas encore évalué)