Imperative Object Destruction

Simon Peyton-Jones
Mon, 13 Nov 2000 00:58:07 -0800

| 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