[Haskell-cafe] Re: Functional progr., infinity, and the Universe
stepan at golosunov.pp.ru
Fri Jun 23 15:01:03 EDT 2006
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 _|_ ?
More information about the Haskell-Cafe