Skip to main content

Folding Domain−Specific Languages: Deep and Shallow Embeddings

Jeremy Gibbons and Nicolas Wu

Abstract

A domain-specific language can be implemented by embedding within a general-purpose host language. This embedding may be deep or shallow, depending on whether terms in the language construct syntactic or semantic representations. The deep and shallow styles are closely related, and intimately connected to folds; in this paper, we explore that connection.

Book Title
International Conference on Functional Programming
Month
September
Pages
339−347
Year
2014
Video of talk at ICFP
Video of seminar at York in November 2015