wss at Cs.Nott.AC.UK
Mon Jul 9 16:51:35 EDT 2007
> What is the advantage of knowing that a list is infinite?
There is plenty of overlap with the *functions* defined in Data.List,
but the *data types* are really different. Conor emphasizes this
point by tabulating the different structure Streams, Lists and
This distinction makes perfect sense if you distinguish between data
and codata. Languages such as Coq have separate types for (inductive)
lists and (coinductive) streams. See the Coq standard libraries for
I've encountered the need for streams, as opposed to lists, on
several occassions. I know that Ross Paterson's arrow library defines
a Data.Stream as well (used in Control.Arrows.Internal). I'm sure
these aren't the only places where you really want to use streams
instead of lists.
As far as name clashes are concerned, Andres Loeh suggested
Codata.Stream. I realize this requires the creation of a new category
of libraries, but its the best suggestion I've heard so far.
More information about the Libraries