5 ms·
You can screw up destructors in exactly the same ways. And it also serves to make sure you close the file at all. But again hence the value of having the lifet
by zenhack 9y ago
You can screw up destructors in exactly the same ways. And it also serves to make sure you close the file at all.
But again hence the value of having the lifetime of the object enforced by the type system.
- catnaroek 9y agoIn the presence of reference-counted mutable objects, destructors no longer guarantee that cleanup will happen. But that much is okay. This is a liveness property, and, as far as I can tell, nobody really knows of any non-annoying way to enforce liveness properties with types. On the other hand, “cleanup is the last operation that can be performed on an object” is a safety property, and types are excellent tools for verifying properties of this kind.