File:Tfpie2014 submission 12.pdf

The target of our course advanced functional programming is currently shifting towards the design, use, and the functional implementation techniques for embedded Domains Specific Languages, DSLs. We use a well-known and very simple imperative language as running example to demonstrate the similarities and differences between shallow and deep embeddings of such a language. In this paper we briefly show how this is done and indicate some of the possibilities for teaching. We discuss our experiences with this approach. It appears that this language is not only very suited to illustrate the different approaches to make DSLs, but also an excellent motivation to introduce many advanced functional programming concepts.