RE: Imperative Object Destruction

| C++ provides a convenient mechanism for cleaning up stuff, the 
| destructor, which is guaranteed to get called when an object 
| passes out 
| of scope (or something).

Haskell doesn't but GHC has an extension (finalisers) that does.
There's a discussion of the issues in our paper about weak pointers
and finalisers
        http://research.microsoft.com/~simonpj/#weak

Simon