3 ms·
It comes from linear logic and that's as far as I know. It's not great because it can scare away programmers who hear "linear" and think abstract nonsense. But
by zetalyrae 4y ago
It comes from linear logic and that's as far as I know.
It's not great because it can scare away programmers who hear "linear" and think abstract nonsense. But there's not really a better name. "Uniqueness type" or "Single-use type" is too verbose. I'd rather not bikeshed the terminology too much and just use what exists.
- eternalban 4y agoDisposable Type.
- Nevermark 4y ago“Single-instance” type? ”Single-reference”?
- masklinn 4y agoIt's not just single-use, an affine type is also single-use: colloquially, a single-use item is not a must-use item.