Pretty much, yes.
> I never thought about it but, my only problem with C's manual destructors is that the compiler doesn't check that you remember to call them.
Right, so in this case the compiler would force you to consume the value somehow. This is "linear" typing.
Pretty much, yes.
> I never thought about it but, my only problem with C's manual destructors is that the compiler doesn't check that you remember to call them.
Right, so in this case the compiler would force you to consume the value somehow. This is "linear" typing.