[Haskell-cafe] Re: Functional progr., infinity, and the Universe

[Stepan Golosunov]

On Fri, Jun 23, 2006 at 10:57:48AM -0400, Paul Hudak wrote:
> voigt.16734551 at bloglines.com wrote:
> >>Well, each partial list is finite. 
> >
> >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 _|_ ?