4 ms·
Is that the same as the "Unforgetable types" mentioned in the blog? I never thought about it but, my only problem with C's manual destructors is that the compi
by ReactiveJelly 3y ago
Is that the same as the "Unforgetable types" mentioned in the blog?
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. If we accept a language like Rust that does sophisticated static analysis, it doesn't need to delete things for you, it only needs to be sure you have a plan to delete everything.
That's interesting.
- insanitybit 3y ago> Is that the same as the "Unforgetable types" mentioned in the blog? 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.