Make Numeric Refine a new AdditiveArithmetic Protocol

[rxwei (Richard Wei)]

@David_Sweeris

That could be done like this:

extension AdditiveArithmetic where Self: SignedNumeric {
    prefix static func - (x: Self) -> Self {
        return Self.zero - x
    }
}

The constrained extension is redundant, because SignedNumeric already refines Numeric, and Numeric refines AdditiveArithmetic.

[jrose (Jordan Rose)]

I assumed the reason Steve included prefix - was to have a way to get IEEE 754 -0.0, but maybe it doesn't even do that.

[anthonylatsis]

@scanon

All that said, I agree broadly with @Fryie: if you want to conform VectorFoo protocols to this protocol , then having multiplication is at least controversial, and probably doesn't belong. Every vector space can be endowed with a product that makes it into an algebra (the elementwise product works anytime you have "elements", and even in the most abstract settings you can always add the zero product that just maps a*b to zero for every a , b ), but that is not a useful or meaningful operation in every setting that is a vector space, and which we would want to conform to such a protocol.

Good point. Element-wise multiplication, which is the Hadamard product, would indeed requalify that protocol into a ring template, albeit an order of magnitude more narrowly specialized that we would expect. The protocol targets arbitrary vector spaces where the set of elements are not said to form a ring over some product as well, while the Hadamard product probably only works fine with numeric vectors, in practice, at least. Using * for that is another source of confusion in the general case, as already mentioned.

The remaining additive arithmetic looks pretty convincing as a fundamental functional unit for the ML and vector libraries, as well as some separate vector-like types that would benefit from adopting arithmetic operations, i.e. SCNVector and even CGPoint.

[rxwei (Richard Wei)]

I created a PR for the proposal: [Proposal] Make Numeric Refine a new AdditiveArithmetic Protocol by rxwei · Pull Request #942 · apple/swift-evolution · GitHub.