Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-23 Thread nicolas . pouillard
Excerpts from Henning Thielemann's message of Sun Mar 22 23:58:44 +0100 2009: On Sun, 22 Mar 2009, nicolas.pouillard wrote: It sounds like a nice idea, it would be great to have a straight-io package to play a bit more with explicit exceptions in things like 'IO'. Maybe I should then

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-23 Thread Henning Thielemann
On Mon, 23 Mar 2009, nicolas.pouillard wrote: Excerpts from Henning Thielemann's message of Sun Mar 22 23:58:44 +0100 2009: On Sun, 22 Mar 2009, nicolas.pouillard wrote: It sounds like a nice idea, it would be great to have a straight-io package to play a bit more with explicit exceptions

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-23 Thread nicolas . pouillard
Excerpts from Henning Thielemann's message of Mon Mar 23 11:06:20 +0100 2009: On Mon, 23 Mar 2009, nicolas.pouillard wrote: Excerpts from Henning Thielemann's message of Sun Mar 22 23:58:44 +0100 2009: On Sun, 22 Mar 2009, nicolas.pouillard wrote: It sounds like a nice idea, it

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-23 Thread Henning Thielemann
On Mon, 23 Mar 2009, nicolas.pouillard wrote: Excerpts from Henning Thielemann's message of Mon Mar 23 11:06:20 +0100 2009: Yes Then what do you mean by lifting to LazyIO to SIO actions? Do you mean liftSIO :: SIO a - LazyIO.T a which says that we only lift computations that explicitly

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-22 Thread nicolas . pouillard
Excerpts from Henning Thielemann's message of Sat Mar 21 22:27:08 +0100 2009: On Fri, 20 Mar 2009, Nicolas Pouillard wrote: Hi folks, We have good news (nevertheless we hope) for all the lazy guys standing there. Since their birth, lazy IOs have been a great way to modularly

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-22 Thread Henning Thielemann
On Sun, 22 Mar 2009, nicolas.pouillard wrote: Excerpts from Henning Thielemann's message of Sat Mar 21 22:27:08 +0100 2009: Maybe you know of my packages lazy-io and explicit-exception which also aim at lazy I/O and asynchronous exception handling. I was indeed aware of these two packages

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-22 Thread nicolas . pouillard
Excerpts from Henning Thielemann's message of Sun Mar 22 22:52:48 +0100 2009: On Sun, 22 Mar 2009, nicolas.pouillard wrote: Excerpts from Henning Thielemann's message of Sat Mar 21 22:27:08 +0100 2009: Maybe you know of my packages lazy-io and explicit-exception which also aim at

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-22 Thread Henning Thielemann
On Sun, 22 Mar 2009, nicolas.pouillard wrote: It sounds like a nice idea, it would be great to have a straight-io package to play a bit more with explicit exceptions in things like 'IO'. Maybe I should then restrict lifting to LazyIO to SIO actions. That would not make LazyIO safe, but

Re: [Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-21 Thread Henning Thielemann
On Fri, 20 Mar 2009, Nicolas Pouillard wrote: Hi folks, We have good news (nevertheless we hope) for all the lazy guys standing there. Since their birth, lazy IOs have been a great way to modularly leverage all the good things we have with *pure*, *lazy*, *Haskell* functions to the real world

[Haskell-cafe] [ANN] Safe Lazy IO in Haskell

2009-03-20 Thread Nicolas Pouillard
Hi folks, We have good news (nevertheless we hope) for all the lazy guys standing there. Since their birth, lazy IOs have been a great way to modularly leverage all the good things we have with *pure*, *lazy*, *Haskell* functions to the real world of files. We are happy to present the