In Haskell, this is done with the Managed monad or ResourceT if you're feeling impure.