28 Jun
2014
28 Jun
'14
11:11 p.m.
On Sat, Jun 28, 2014 at 10:59 PM, Rafael Almeida
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@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net