4 ms·

> But then you are saved from adding seconds to milliliters, because then the types will tell you it's complete nonsense. I was thinking about this as I was re

> But then you are saved from adding seconds to milliliters, because then the types will tell you it's complete nonsense. I was thinking about this as I was reading your comment, and wondering: is it nonsense? If I have 5 seconds of time as well as 10 milliliters of water... I can consider them as being packaged together... which is addition. And I can subtract 3 milliliters and 6 seconds from them without running out of what I had. Nothing wrong with that, really. Five potatoes and a gallon of water is the same notion, just more familiar. Seems no more nonsensical than dividing length by time, right? Food for thought...

schoen 2y ago
Bundling the time and the volume might be better called "forming a vector" or "forming an ordered pair" rather than "addition". You can then perform addition and subtraction with the resulting ordered pairs or vectors.
- dataflow 2y ago
  There's no need for ordering (it's a bag rather than a vector), but yeah.
  - deleted 2y ago
    [deleted]
twixfel 2y ago
That's nonsense because addition loses the structure. 3 litres and 6 seconds becomes indistinguishable from 4 litres and 5 seconds. Maybe that's what you want, but it's realistically pretty much never what you want.
- dataflow 2y ago
  That's not how it works. Addition losing structure doesn't mean "strip out everything from the textual description that isn't a number". It just loses some properties, like ordering. Which means, for example: (3 liters and (i.e. "+") 6 seconds) + (4 liters and 2 oranges) = (7 liters and 6 seconds and 2 oranges). Perfectly sensible addition, which you do all the time. There's no stipulation the output has to be a single number...
  - twixfel 2y ago
    Alright you're just talking about a different operation entirely but have decided to give it the name "addition". Not particularly insightful, but thanks anyway.
    - dataflow 2y ago
      What? Addition isn't just for numbers. This is literally no different from adding vectors. I'm sure you've seen that in school?
      - twixfel 2y ago
        What do you mean subtracting a cat from a dog doesn't make sense? Heh, ackshualllyyy I was imagining a vector of pets, where we have still have a dog but now a cat deficit of one, because the cat died and now we have a big hole in our family... nothing personnel kid. surely you learnt that in school? The point is, making a vector, that's not addition.
        dataflow 2y ago
        This is quite literally no different than 1i + 2j. Or if you hate vectors like i or j, just complex numbers -- 1 + 2i. I'm not sure why you feel the rudeness is helping you get a point across, because it's very much not.
        deleted 2y ago
        [deleted]
        twixfel 2y ago
        I am being no ruder than you are, more or less. > because it's very much not I don't expect to change the mind of someone who thinks that addition and defining a vector are the same thing. You've just redefined generally common terms and then started accusing people of being uneducated for not sharing your own eccentric definitions. Poor show.

schoen 2y ago

Bundling the time and the volume might be better called "forming a vector" or "forming an ordered pair" rather than "addition". You can then perform addition and subtraction with the resulting ordered pairs or vectors.

dataflow 2y ago
There's no need for ordering (it's a bag rather than a vector), but yeah.
- deleted 2y ago
  [deleted]

twixfel 2y ago

That's nonsense because addition loses the structure. 3 litres and 6 seconds becomes indistinguishable from 4 litres and 5 seconds. Maybe that's what you want, but it's realistically pretty much never what you want.

dataflow 2y ago
That's not how it works. Addition losing structure doesn't mean "strip out everything from the textual description that isn't a number". It just loses some properties, like ordering. Which means, for example: (3 liters and (i.e. "+") 6 seconds) + (4 liters and 2 oranges) = (7 liters and 6 seconds and 2 oranges). Perfectly sensible addition, which you do all the time. There's no stipulation the output has to be a single number...
- twixfel 2y ago
  Alright you're just talking about a different operation entirely but have decided to give it the name "addition". Not particularly insightful, but thanks anyway.
  - dataflow 2y ago
    What? Addition isn't just for numbers. This is literally no different from adding vectors. I'm sure you've seen that in school?
    - twixfel 2y ago
      What do you mean subtracting a cat from a dog doesn't make sense? Heh, ackshualllyyy I was imagining a vector of pets, where we have still have a dog but now a cat deficit of one, because the cat died and now we have a big hole in our family... nothing personnel kid. surely you learnt that in school? The point is, making a vector, that's not addition.
      - dataflow 2y ago
        This is quite literally no different than 1i + 2j. Or if you hate vectors like i or j, just complex numbers -- 1 + 2i. I'm not sure why you feel the rudeness is helping you get a point across, because it's very much not.
        deleted 2y ago
        [deleted]
        twixfel 2y ago
        I am being no ruder than you are, more or less. > because it's very much not I don't expect to change the mind of someone who thinks that addition and defining a vector are the same thing. You've just redefined generally common terms and then started accusing people of being uneducated for not sharing your own eccentric definitions. Poor show.