This is a (longer) response to “Must move types”.
Or higher order RAII (Vale).
“Linear” – sounds like named by a mathematician. Nothing against that, in principle, as long as it’s descriptive or established. In my mind, it’s a “hot potato” type – you must pass it on.
Yes, it’s origin is in formal logic. Linear logic.
This is a (longer) response to “Must move types”.
Or higher order RAII (Vale).
“Linear” – sounds like named by a mathematician. Nothing against that, in principle, as long as it’s descriptive or established. In my mind, it’s a “hot potato” type – you must pass it on.
Yes, it’s origin is in formal logic. Linear logic.