[Haskell-cafe] Splitting off many/some from Alternative

Gregory Crosswhite gcrosswhite at gmail.com
Wed Dec 14 07:10:17 CET 2011


On Dec 13, 2011, at 5:09 AM, Bryan O'Sullivan wrote:

> Correct. And your example of "some (Just 1)" inflooping was not a counterargument, but rather an illustration that perhaps some people (and I'm not trying to imply you here, don't worry) don't understand what some and many are supposed to do.

But does it really make sense to have class methods with the property that they are undefined on all but a special value of a type?  It seems extremely silly to me to keep these two methods in the class and to get around this problem by adding documentation that essentially says, "Don't use these methods because they are not actually defined in general."

Cheers,
Greg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111214/9462afd4/attachment.htm>


More information about the Haskell-Cafe mailing list