[Haskell-cafe] Re: Stateful DSLs

[Günther Schmidt]

Hi Edward,

thanks that is very interesting. If these should turn out not to be 
usable for some reason, do you happen to know of alternatives?

Günther

Am 17.09.10 19:49, schrieb Edward Z. Yang:
> Excerpts from Günther Schmidt's message of Fri Sep 17 13:27:45 -0400 2010:
>> I'd want to create a EDSL where I want to be able to statically ensure
>> that expressions can only be built according to a particular "state".
>>
>> Like in a network application, SMTP client for example, where I can only
>> issue commands if the application is in a certain state.
>>
>> Are there any Haskell examples for this sort of thing?
>
> Hello Gunther,
>
> I believe what you are describing is called "session types".  There
> are several session type encodings on Hackage: sessions, simple-sessions
> and full-sessions.  However, I don't think they're really ready to be used
> on actual projects.
>
> Cheers,
> Edward