[Haskell-cafe] Re: Is "take" behaving correctly?
prstanley at ntlworld.com
Wed Sep 12 13:04:54 EDT 2007
> > 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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe