Polymorphic embedding of dsls

Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors
2008 Proceedings of the 7th international conference on Generative programming and component engineering - GPCE '08  
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a single semantics. This precludes the subsequent addition of compilation, optimization or domain-specific analyses. We propose polymorphic embedding of DSLs, where many different interpretations of a DSL can be provided as reusable components, and show how polymorphic embedding can be realized in the programming language
more » ... cala. With polymorphic embedding, the static type-safety, modularity, composability and rapid prototyping of pure embedding are reconciled with the flexibility attainable by external toolchains.
doi:10.1145/1449913.1449935 dblp:conf/gpce/HoferORM08 fatcat:zbfzv7p3e5hn3b7ha62tdyhpie