These are linear types by analogy to linear logic[0], so the terminology dates t...

kvb on March 16, 2017 | parent | context | favorite | on: Linear types make performance more predictable

These are linear types by analogy to linear logic[0], so the terminology dates to the 80's at the latest. In contrast to your accusation, I think FP folks rarely make up terminology, usually preferring to borrow liberally from neighboring fields of mathematics.

[0] https://en.wikipedia.org/wiki/Linear_logic