4 ms·
I think you both are saying the same thing, in this context at least.
by asdkhadsj 6y ago
I think you both are saying the same thing, in this context at least.
- tsimionescu 6y agoThere is a very important difference between types and quantities. For example, 1/3 + 1/3 = 1 is true, if I mean 1/3 of 3 + 1/3 of 0. 1/3 + 1/3 = 2/6 can only be true if we add some quantities, we can't make it true by choosing the right types (we could fix it by choosing a different definition of +, or =, though).