iteratee Semantics of s, enumerators, enumeratees?

[John Lato]

Hi Conal,

To my knowledge, nobody has attempted this.  Oleg may have some ideas, but I
don't think he's written about it.  I really don't know anything about
denotational semantics, so I couldn't do this myself.  For some time I've
thought it would be good if somebody were able to put together a formal
semantics for iteratees, so I'd be very interested if you'd share what you
have so far.

Would a denotational semantics apply equally to multiple implementations, or
would it be tied to a specific implementation?

John

On Sun, Aug 22, 2010 at 3:47 AM, Conal Elliott <conal at conal.net> wrote:

> With the encouragement & help of Conrad Parker, I've been looking at
> iteratees, enumerators, enumeratees.  I can find plenty written about them,
> but only about benefits and implementation.  In sifting through chunks,
> error/control messages, and continuations, I find myself longing for a
> precise semantic basis.  I keep wondering: what simpler & precise semantic
> notions do these mechanisms implement?  Has anyone worked out a denotational
> semantics for iteratees, enumerators, enumeratees -- something that
> simplifies away the performance advantages & complexities?  I've worked out
> something tentative, but perhaps I'm covering old ground.
>
>    - Conal
>
> _______________________________________________
> Iteratee mailing list
> Iteratee at projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/iteratee
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://projects.haskell.org/pipermail/iteratee/attachments/20100822/d53d576b/attachment.htm