On Sun, Dec 2, 2012 at 7:31 PM, Joerg Fritsch <fritsch@joerg.cc> wrote:

This is probably a very basic question.

I am working on a DSL that eventuyally would allow me to say:

import language.cwmwl

main = runCWMWL $ do

    eval ("isFib::", 1000, ?BOOL)

I have just started to work on the interpreter-function runCWMWL and I wonder whether it is possible to escape to real Haskell somehow (and how?) either inside ot outside the do-block.

I thought of providing a defautl-wrapper for some required prelude functions (such as print) inside my interpreter but I wonder if there are more elegant ways to co-loacate a DSL and Haskell without falling back to being a normal library only.

--Joerg

+1
I am also interested in the DSL-in-Haskell possibilities

[I am assuming Joerg that you're familiar with the basic ideas and terminology like
http://martinfowler.com/bliki/DomainSpecificLanguage.html and the links therein]

Rusi

--
http://www.the-magus.in
http://blog.languager.org