[Haskell-cafe] Re: Is "take" behaving correctly?

[PR Stanley]

>Hi
>
> >  The same should apply to head and tail. head or tail  of [] should be [].
> >
> >  What does the list think?
>
>Disagree, strongly. Its not even possible for head, since [a] -> a.
>Wadler's theorems for free states that if head is given an empty list
>the _only_ thing it can do is crash.

What's the logic behind this?

Thanks, Paul
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070912/e1e42528/attachment.htm