2 ms·
It seems like a language could support both. That is, a type could either be automatically droppable or not.
by skybrian 3y ago
It seems like a language could support both. That is, a type could either be automatically droppable or not.
- dgreensp 3y agoYes, this. The notable thing in Austral is not that linear types are used somewhere, it’s that it’s all linear, even when destruction is just deallocation and could easily be done by the compiler (even in the presence of exceptions).
- _dain_ 3y agoYou might want finer-grained control over when deallocation happens.