[skybrian]

It seems like a language could support both. That is, a type could either be automatically droppable or not.

[dgreensp]

Yes, 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_]

You might want finer-grained control over when deallocation happens.