4 ms·
The extension operator still resembles more a set union than an addition. The fact that it is not commutative is not imo an argument since sum is even more freq
by makapuf 8y ago
The extension operator still resembles more a set union than an addition. The fact that it is not commutative is not imo an argument since sum is even more frequently used with a commutative semantics.