Re: push with lazy lists

2004-07-18 Thread Ph. Marek
On Friday 16 July 2004 18:23, Jonadab the Unsightly One wrote: > > Please take my words as my understanding, ie. with no connection to > > mathmatics or number theory or whatever. I'll just say what I > > believe is practical. > > [...] > > > I'd believe that infinity can be integer, ie. has no num

Re: Why do users need FileHandles?

2004-07-18 Thread Rod Adams
Dave Whipp wrote: "Rod Adams" <[EMAIL PROTECTED]> wrote in message news:[EMAIL PROTECTED] Uhm, my impression was that most of the "huffmanization" discussion was centered around declaring a file handle to be read only, write only, read-write, exclusive, etc. Masking the file handle with what bas

Re: Why do users need FileHandles?

2004-07-18 Thread Dave Whipp
"Rod Adams" <[EMAIL PROTECTED]> wrote in message news:[EMAIL PROTECTED] > Uhm, my impression was that most of the "huffmanization" discussion was > centered around declaring a file handle to be read only, write only, > read-write, exclusive, etc. Masking the file handle with what basically > amount

Re: Why do users need FileHandles?

2004-07-18 Thread Rod Adams
Dave Whipp wrote: I was thinking about the discussions about the "open" function, and of the capabilities of "string"s. Given that we'll have things like $str.bytes, etc. It doesn't seem a stretch to suggest that we could also have $str.lines. Once we have that, and also a level of pervasive lazine

Re: Why do users need FileHandles?

2004-07-18 Thread Dave Whipp
"Andrew Shitov" <[EMAIL PROTECTED]> wrote in message news:[EMAIL PROTECTED] > DW> my $text is TextFile("/tmp/bar"); > DW> $text = "hello"; # writes, truncates > DW> $text ~= ", world\n"; # appends > > DW> $text.print "again\n"; # for old-times sake > > Anyhow we still need $text.flush() or

Re: Why do users need FileHandles?

2004-07-18 Thread Andrew Shitov
DW> my $text is TextFile("/tmp/bar"); DW> $text = "hello"; # writes, truncates DW> $text ~= ", world\n"; # appends DW> $text.print "again\n"; # for old-times sake Anyhow we still need $text.flush() or $text.close() methods. -- _

Why do users need FileHandles?

2004-07-18 Thread Dave Whipp
I was thinking about the discussions about the "open" function, and of the capabilities of "string"s. Given that we'll have things like $str.bytes, etc. It doesn't seem a stretch to suggest that we could also have $str.lines. Once we have that, and also a level of pervasive laziness (lazy evaluati