CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Combining deep and shallow embedding of domain-specific languages

Josef Svenningsson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Emil Axelsson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Computer languages, systems & structures (1477-8424). Vol. 44 (2015), p. 143-165.
[Artikel, refereegranskad vetenskaplig]

We present a technique to combine deep and shallow embedding in the context of compiling embedded languages in order to provide the benefits of both techniques. When compiling embedded languages it is natural to use an abstract syntax tree to represent programs. This is known as a deep embedding and it is a rather cumbersome technique compared to other forms of embedding, typically leading to more code and being harder to extend. In shallow embeddings, language constructs are mapped directly to their semantics which yields more flexible and succinct implementations. But shallow embeddings are not well-suited for compiling embedded languages.

Our technique uses a combination of deep and shallow embedding, which helps keeping the deep embedding small and makes extending the embedded language much easier. The technique also has some unexpected but welcome secondary effects. It provides fusion of functions to remove intermediate results for free without any additional effort. It also helps us to give the embedded language a more natural programming interface.

Nyckelord: Domain specific languages, Shallow embedding, Deep embedding, Fusion, Monads

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2015-12-03. Senast ändrad 2016-04-12.
CPL Pubid: 227061


Läs direkt!

Länk till annan sajt (kan kräva inloggning)