Actually, I'd like to reiterate my original view that num::Zero should be renamed to AdditiveIdentity (bear with me) based on the fact that when mathematicians use the symbol 0 to denote additive identity, the symbol 0 is not read "zero", but as "additive identity".
All the reasoning above applies to renaming num::One to MultiplicativeIdentity as well (as it pertains to symbol 1 denoting multiplicative identity). If those names are too long, the shortened AddIdentity and MulIdentity could be used instead. > On 10 Apr 2014, at 00:06, Tommi Tissari <rusty.ga...@icloud.com> wrote: > >> On 09 Apr 2014, at 23:42, Kevin Ballard <ke...@sb.org> wrote: >> >> The number 0 is the additive identity for numbers. But informally, the >> additive identity for other things can be called "zero" without problem. > > Ok, so it seems. From > http://en.m.wikipedia.org/wiki/Identity_(mathematics) > > The number 0 is the additive identity (identity element for the binary > operation of addition) for integers, real numbers, and complex numbers. For > every number a, including 0 itself, > > > In a more general context, when a binary operation is denoted with + and has > an identity, this identity is commonly denoted by the symbol 0 (zero) and > called an additive identity. > > > _______________________________________________ > Rust-dev mailing list > Rust-dev@mozilla.org > https://mail.mozilla.org/listinfo/rust-dev
_______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev