Proposal: Data.Stream

Conor McBride ctm at
Mon Jul 9 19:50:06 EDT 2007

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,

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  

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



More information about the Libraries mailing list