Aaron Denney <[EMAIL PROTECTED]> writes: > On 2006-09-08, Jón Fairbairn <[EMAIL PROTECTED]> wrote: > > Why shouldn't Naturals be more primitive than Integers? > > Certainly they're more primitive. Too primitive to have reasonable > algebraic properties.
Hmph. Naturals obey (a+b)+c == a+(b+c), which is a nice and reasonable algebraic property that Float and Double don't obey. In fact Float and Double have lots of /un/reasonable algebraic properties, but we still have them in the language. (I think they should be turfed out into a numerical library). -- Jón Fairbairn [EMAIL PROTECTED] http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html (updated 2006-09-07) _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe