Initial Suite of Seven Embedded Languages

Domain-specific languages are small, special purpose languages cre-ated to describe computational solutions in a particular problem domain. Domain-specific languages have proven themselves useful many times over; however, the cost of defining and implementing a domain specific language can be high. An approach that avoids the overhead of domain-specific language definition is to define an embedded language—i.e. a collection of definitions in a sufficiently expressive host language. Embedding a domain-specific language places high demands on a host language. The host languge must be able to express the essence of the domain, while not sacrificing too much in syntax. This report, presents a suite of seven exam-ples of embeddings using the functional programming language Haskell