Bulat Ziganshin <[EMAIL PROTECTED]> wrote: > Hello Achim, > > Saturday, December 29, 2007, 11:47:50 PM, you wrote: > >>> It's always interesting to compare computers and humans, especially >>> computer scientist seem to do that :) >>> >> Hm. More importantly, only humans try to write a general Eq and Ord >> instances over different domains. > > i think that the problem is our > limitations as bad programmers - not computer's as a bad performer :) > Neither. It's just like trying to get
"marmalade" == True to typecheck. You might do it in C to circumvent type checking, but still will not get any sense out of it. -- (c) this sig last receiving data processing entity. Inspect headers for past copyright information. All rights reserved. Unauthorised copying, hiring, renting, public performance and/or broadcasting of this signature prohibited. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe