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