It works just fine with destructors and finalizers, as this is the underlying implementation of explicit memory allocation. One can build a true type-aware obje

It works just fine with destructors and finalizers, as this is the underlying implementation of explicit memory allocation. One can build a true type-aware object system on top of it. This is how C++ does it. Please note that I am talking about techniques for explicit memory management, not garbage collection.