[Haskell-cafe] Re: Functional progr., infinity, and the Universe
Stepan Golosunov
stepan at golosunov.pp.ru
Fri Jun 23 23:53:05 EDT 2006
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:
> >
> >>voigt.16734551 at bloglines.com 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?
More information about the Haskell-Cafe
mailing list