Thanks Brent,
my question is basically how the function embed would in practice be
implemented.
I want to be able to take everything that my own language does not have from
the host language, ideally so that I can say:
evalt <- eval ("isFib::", 1000, ?BOOL))
case evalt of
Left Str -> ....
Right Str -> ....
or so.
--Joerg
On Dec 3, 2012, at 4:04 PM, Brent Yorgey wrote:
> (Sorry, forgot to reply to the list initially; see conversation below.)
>
> On Mon, Dec 03, 2012 at 03:49:00PM +0100, Joerg Fritsch wrote:
>> Brent,
>>
>> I believe that inside the do-block (that basically calls my
>> interpreter) I cannot call any other Haskell function that are not
>> recognized by my parser and interpreter.
>
> This seems to just require some sort of "escape mechanism" for
> embedding arbitrary Haskell code into your language. For example a
> primitive
>
> embed :: a -> CWMWL a
>
> (assuming CWMWL is the name of your monad). Whether this makes sense,
> how to implement embed, etc. depends entirely on your language and
> interpreter.
>
> However, as you imply below, this may or may not be possible depending
> on the type a. In that case I suggest making embed a type class method.
> Something like
>
> class Embeddable a where
> embed :: a -> CWMWL a
>
> I still get the feeling, though, that I have not really understood
> your question.
>
>> I am also trying to learn how I could preserve state from one line
>> of code of my DSL to the next. I understand that inside the
>> interpreter one would use a combination of the state monad and the
>> reader monad, but could not find any non trivial example.
>
> Yes, you can use the state monad to preserve state from one line to
> the next. I am not sure what you mean by using a combination of state
> and reader monads. There is nothing magical about the combination.
> You would use state + reader simply if you had some mutable state as
> well as some read-only configuration to thread through your
> interpreter.
>
> xmonad is certainly a nontrivial example but perhaps it is a bit *too*
> nontrivial. If I think of any other good examples I'll let you know.
>
> -Brent
>
>>
>>
>> On Dec 3, 2012, at 1:23 PM, Brent Yorgey wrote:
>>
>>> On Sun, Dec 02, 2012 at 03:01:46PM +0100, Joerg Fritsch 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 don't think I understand the question. The above already *is* real
>>> Haskell. What is there to escape?
>>>
>>>> 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.
>>>
>>> I don't understand this sentence either. Can you explain what you are
>>> trying to do in more detail?
>>>
>>> -Brent
>>
>>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
