[Haskell-cafe] Re: map (-2) [1..5]
jon.fairbairn at cl.cam.ac.uk
Sat Sep 9 10:33:28 EDT 2006
Aaron Denney <wnoise at ofb.net> writes:
> On 2006-09-08, JÃ³n Fairbairn <jon.fairbairn at cl.cam.ac.uk> 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
Jón Fairbairn Jon.Fairbairn at cl.cam.ac.uk
http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html (updated 2006-09-07)
More information about the Haskell-Cafe