Hacker News new | past | comments | ask | show | jobs | submit login

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.




It's not just single-use, an affine type is also single-use: colloquially, a single-use item is not a must-use item.


“Single-instance” type?

”Single-reference”?


Disposable Type.




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: