Proposal: Data.Stream

[Conor McBride]

Hi folks

On 10 Jul 2007, at 00:05, Donald Bruce Stewart wrote:

> stefanor:
>> On Mon, Jul 09, 2007 at 03:38:56PM +0200, Wouter Swierstra wrote:
>>> Dear all,
>>>
>>> I just uploaded a fairly unspectacular package Data.Stream to  
>>> Hackage. It
>>> implements quite a few operations on streams (infinite lists),  
>>> analogous to
>>> those defined in Data.List. Sometimes it is just good to know a  
>>> list is
>>> infinite.
>>
>> Unfortunately, there is a bit of a name collision here; Coutts,  
>> Stewart,
>> and Leshchinskiy are pushing for a completely unrelated  
>> Data.Stream to
>> be added to base.  (Theirs is a package of operations on lists  
>> defined
>> by generalized unfold operators.)
>>
>
> He's talking about this module, btw,
>
>     http://www.cse.unsw.edu.au/~dons/code/streams/list/Data/Stream.hs

This looks like lovely stuff, but I'm not sure Stream is the right  
name. This
is a very cunning CoList package, by the looks of things, exploiting the
key computational structure of codata, namely being built from  
coalgebras.

But maybe I should shut up, as I always lose fights about names.

Cheers

Conor