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

Paul Hudak paul.hudak at yale.edu
Fri Jun 23 15:30:18 EDT 2006

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.


More information about the Haskell-Cafe mailing list