[Haskell-cafe] Monad laws

Brandon Allbery allbery.b at gmail.com
Sun Jun 29 03:11:44 UTC 2014

On Sat, Jun 28, 2014 at 10:59 PM, Rafael Almeida <almeidaraf at gmail.com>

> What is there to be gained by such a law which can't be enforced by the
> compiler?

There are lots of things that can't be enforced by the compiler; for
example, it can't force you to write an Ord instance that implements a
correct total ordering. Does this make Ord less useful to you? Or pointless?

brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140628/3a4c81f0/attachment.html>

More information about the Haskell-Cafe mailing list