Re: Coroutines

2001-03-20 Thread Andreas Gruenbacher
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

RE: Coroutines

2001-03-19 Thread Andreas Gruenbacher
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 ::

Coroutines

2001-03-19 Thread Andreas Gruenbacher
s, Andreas. ---- Andreas Gruenbacher [EMAIL PROTECTED] Research Assistant Phone +43(1)58801-12723 Institute for Geoinformation Fax+43(1)58801-12799 Technical University

Re: Literate Programming in Haskell?

2001-02-18 Thread Andreas Gruenbacher
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

Re: Just for your fun and horror

2001-02-16 Thread Andreas Gruenbacher
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