RE: lazy file reading in H98

2000-09-05 Thread Manuel M. T. Chakravarty
Sigbjorn Finne <[EMAIL PROTECTED]> wrote, > The behaviour is well defined, Haskell98 enforces a > single-writer, multiple reader locking on files (Sec. > 11.3.1 of the library report) which also extends > to semi-closed handles/files. Good point - I missed that one. In other words, the report a

Re: lazy file reading in H98

2000-09-05 Thread Jeffrey Straszhiem
On Tue, Sep 05, 2000 at 01:10:07AM -0700, Simon Peyton-Jones wrote: > Finalising the Haskell 98 report is (still) on my to-do list. I > plan to do it after ICFP, but I need a clear week which is why I've > been procrastinating. And comments do keep coming in occasionally. > Manuel's is a case i

RE: lazy file reading in H98

2000-09-05 Thread Sigbjorn Finne
The behaviour is well defined, Haskell98 enforces a single-writer, multiple reader locking on files (Sec. 11.3.1 of the library report) which also extends to semi-closed handles/files. A bug report to the maintainers of whatever produced the reported misbehaviour would be good. --sigbjorn > --

RE: lazy file reading in H98

2000-09-05 Thread Manuel M. T. Chakravarty
Simon Peyton-Jones <[EMAIL PROTECTED]> wrote, > I'd be interested to hear people's opinion about the lazy-file read > question. > I'm not prepared to add new functions to Haskell 98, but I think > the clarification of (1) or (2) below would be useful. (2) is nice > but it makes *all* file read

Re: Some questions about Monads

2000-09-05 Thread Diego Dainese
On Tue, 5 Sep 2000 12:31:58 +0200 (MET DST) Koen Claessen <[EMAIL PROTECTED]> wrote: > Diego Dainese wrote: > > | there no way to move smoothly from no monad (no > | interaction), to one monad (a single form of > | interaction), to many monad (several independent forms > | of interaction). >

Re: Some questions about Monads

2000-09-05 Thread Koen Claessen
Diego Dainese wrote: | there no way to move smoothly from no monad (no | interaction), to one monad (a single form of | interaction), to many monad (several independent forms | of interaction). It takes some work to move from no monad to using a monad, but once you have made that decision, i

Re: lazy file reading in H98

2000-09-05 Thread Ketil Malde
Simon Peyton-Jones <[EMAIL PROTECTED]> writes: > I'm not prepared to add new functions to Haskell 98, but I think > the clarification of (1) or (2) below would be useful. (2) is nice > but it makes *all* file reading more expensive, perhaps significantly > so (e.g. making a complete copy of the

RE: lazy file reading in H98

2000-09-05 Thread Simon Peyton-Jones
Folks, Finalising the Haskell 98 report is (still) on my to-do list. I plan to do it after ICFP, but I need a clear week which is why I've been procrastinating. And comments do keep coming in occasionally. Manuel's is a case in point. I'd be interested to hear people's opinion about the lazy-