On 9/7/10 7:26 AM, Neil Brown wrote:
On 07/09/10 05:24, wren ng thornton wrote:
Just that they're not the same thing. For example, ZipList supports
pure but it has no meaningful instance of singleton since every
ZipList is infinite.
I don't believe that every ZipList is infinite (if this should be the
case, the constructor shouldn't be exposed!), just that ZipLists created
by "pure" are infinite
Just so. I misremembered the data constructor as not being exported.
So ZipList does have a meaningful definition of singleton (singleton x =
ZipList [x];
Though we still have singleton /= pure, which is all I was arguing.
--
Live well,
~wren
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
