In C, you're supposed to listen for a "destroy" event on the output and then in the handler you would delete all your references to the object. I would be inte

In C, you're supposed to listen for a "destroy" event on the output and then in the handler you would delete all your references to the object. I would be interested to know if any language has a way to statically analyze this, instead of using a monad.