Imperative Object Destruction

Simon Peyton-Jones simonpj@microsoft.com
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
	http://research.microsoft.com/~simonpj/#weak

Simon