On Fri, Jun 23, 2006 at 03:30:18PM -0400, Paul Hudak wrote: > Stepan Golosunov wrote: > >On Fri, Jun 23, 2006 at 10:57:48AM -0400, Paul Hudak wrote: > > > >>[EMAIL PROTECTED] wrote: > >>>I think quite > >>>a few people would agree that a finite list is one ending in []. So 1:_|_ > >>>is a partial list, but not a finite one. 1:[] is a finite list. > >> > >>1:_|_ is certainly finite. In what sense is it not? > > > >And what is length _|_ ? > > _|_, of course!! :-) > > The point being, length is well-defined only for total lists; it is > undefined for partial lists. But this doesn't mean that a partial list > isn't finite.
What is "finite list" then? Is ones = 1:ones also finite? _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
