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

Neil Mitchell ndmitchell at gmail.com
Wed Sep 12 12:19:52 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.



More information about the Haskell-Cafe mailing list