[Haskell-cafe] Monad laws

Mike Meyer mwm at mired.org
Sun Jun 29 04:15:06 UTC 2014

On Sat, Jun 28, 2014 at 10:52 PM, Brandon Allbery <allbery.b at gmail.com>

> I imagine that, like Ord, a decision was made to implement the proper
> mathematical abstraction and not merely a convenient one. This seems to be
> the "Haskell way". (I'm not sure how it explains Double, though the numeric
> hierarchy has a lot of compromises in the name of convenience or expected
> behavior. Possibly Monad was in some sense a reaction to this, even: "we
> got that one wrong, let's do this one correctly".)

Double, like Int, is a computer construct, not a mathematical one.  They
both map to hardware types that act like mathematical ones until you look
closely, but have better performance than the software constructs that have
better behavior.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140628/7e5d97c9/attachment.html>

More information about the Haskell-Cafe mailing list