Everything old is new again: Quoted Domain Specific Languages
Paper i proceeding, 2016

We describe a new approach to implementing Domain-Specific Languages(DSLs), called Quoted DSLs (QDSLs), that is inspired by two old ideas:quasi-quotation, from McCarthy's Lisp of 1960, and the subformula principle of normal proofs, from Gentzen's natural deduction of 1935. QDSLs reuse facilities provided for the host language, since host and quoted terms share the same syntax, type system, and normalisation rules. QDSL terms are normalised to a canonical form, inspired by the subformula principle, which guarantees that one can use higher-order types in the source while guaranteeing first-order types in the target, and enables using types to guide fusion. We test our ideas by re-implementing Feldspar, which was originally implemented as an Embedded DSL (EDSL), as a QDSL; and we compare the QDSL and EDSL variants. The two variants produce identical code.

quotation

DSL

embedded language

subformula principle

normalisation

EDSL

domain-specific language

QDSL

Författare

Shayan Najd Javadipour

University of Edinburgh

Sam Lindley

University of Edinburgh

Josef Svenningsson

Chalmers, Data- och informationsteknik, Programvaruteknik

Philip Wadler

University of Edinburgh

PEPM 2016 Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

25-36
978-1-4503-4097-7 (ISBN)

Styrkeområden

Informations- och kommunikationsteknik

Fundament

Grundläggande vetenskaper

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1145/2847538.2847541

ISBN

978-1-4503-4097-7

Mer information

Senast uppdaterat

2018-02-28