Embedded domain specific language

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.

Discussion of common problems

Sharing and recursion are common problems when implementing DSLs. Often some kind of observable sharing is requested.

• Oleg in Haskell-Cafe about Designing DSL with explicit sharing (was: I love purity, but it's killing me)
• Koen Classen: Observable Sharing for Functional Circuit Description