[gclist] Finalization and object orientation.

[Stefan Monnier]

"Guillermo (Bill) J. Rozas" <gjr@hplgr2.hpl.hp.com> writes:
> Option 2: Explicitly clear the variables when appropriate.  In ML you

This cleaning can be "automated" by the compiler (at a non-negligible cost if
it's done everywhere, so you probably prefer to only do that at some specific
points hinted by the programmer (which in turn requires memory-profiling
support to allow the programmer to see where the problem comes from)).

It can also be "hidden" by somehow telling the GC about what variables to
ignore depending on the current PC.


        Stefan