Hi Sam,
It's precisely because value types are "declaimed by..." that makes
destructors potentially useful. On the other hand, destructors for
reference types are of dubious value (no pun intended), because GC is
not deterministic.
IMHO the destructor are of the more importance when you are dealing with
unmanaged resources, it does not matter if the type is reference or value,
when you have to manually release any resource then you need a destructor,
otherwise the GC ( in reference types) or the stack movement ( value types )
will handle pretty well the memory, there is no need of a destructor in
these case unless you need a performance gain.
Cheers,
--
Ignacio Machin,
ignacio.machin AT dot.state.fl.us
Florida Department Of Transportation