|
|
|
|
|
|
by kvb
3384 days ago
|
|
|
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 |
|
|