Personal tools

Embedded domain specific language

From HaskellWiki

Revision as of 16:11, 22 October 2015 by ZiyaoWei (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Embedded Domain Specific Language means that you embed a Domain specific language in a language like Haskell. E.g. using the Functional MetaPost library you can write Haskell expressions, which are then translated to MetaPost, MetaPost is run on the generated code and the result of MetaPost can be post-processed in Haskell.


1 Degree of embedding

There are two major degrees of embedding:

  • Shallow embedding: All Haskell operations immediately translate to the target language. E.g. the Haskell expression
    is translated to a
    "a + b"
    containing that target language expression.
  • Deep embedding: Haskell operations only build an interim Haskell data structure that reflects the expression tree. E.g. the Haskell expression
    is translated to the Haskell data structure
    Add (Var "a") (Var "b")
    . This structure allows transformations like optimizations before translating to the target language.

2 Discussion of common problems

Sharing and recursion are common problems when implementing DSLs. Often some kind of observable sharing is requested that requires a deep embedding.

3 Examples of Domain Specific Languages

  • Functional MetaPost (funcmp) is a Haskell frontend to the MetaPost language by John Hobby. Users write their graphics as Haskell programs, which then emit MetaPost code that can be compiled into encapsulated PostScript files and smoothly included into e.g. LaTeX.
  • orc: Orchestration-style coordination EDSL
  • The diagrams-cairo package. A full-featured backend for rendering diagrams using the cairo rendering engine. To get started, see Diagrams.Backend.Cairo.CmdLine.
  • Workflow: library for transparent execution of interruptible computations

4 More to read/view