On Mon, 19 Mar 2001, Hannah Schroeter wrote:
> Hello!
>
> On Mon, Mar 19, 2001 at 06:43:55PM +0100, Andreas Gruenbacher wrote:
>
> > On Mon, 19 Mar 2001, Simon Peyton-Jones wrote:
> >
> > > Lazy evaluation *is* coroutines, in a way.
> >
> > What I
On Mon, 19 Mar 2001, Simon Peyton-Jones wrote:
> Lazy evaluation *is* coroutines, in a way.
What I had in mind was something like the following (pseudocode), which
could easily be implemented on top of coroutines:
class Channel c t where
send:: t -> c -> IO ()
receive ::
s,
Andreas.
----
Andreas Gruenbacher [EMAIL PROTECTED]
Research Assistant Phone +43(1)58801-12723
Institute for Geoinformation Fax+43(1)58801-12799
Technical University
paper `Typing
Haskell in Haskell', but don't know how he did it.
Cheers,
Andreas.
------------
Andreas Gruenbacher [EMAIL PROTECTED]
Research Assistant Phone +43(1)58801-12723
I
monads for several weeks, they *cannot imagine* that
> "return z"
> may mean something different than the value of "z".
>
> Any suggestions?
Not that it would help you much, but I also think that return is a rather
confusing name for what might otherwise be called li