Kinda tangential (since the linear vs Cartesian distinction wasn't made a big deal of here) but I liked the clarifying discussion (to layman me) of how "linear"

Kinda tangential (since the linear vs Cartesian distinction wasn't made a big deal of here) but I liked the clarifying discussion (to layman me) of how "linear" and "affine" are related to the usage ones learns in uh middle school? https://old.reddit.com/r/haskell/comments/txk3mn/why_are_they_called_linear_and_affine_types/?rdt=53183 https://old.reddit.com/r/haskell/comments/txk3mn/why_are_the... [And even the comment from the athletic river horse is thrilling to read]