
16 Jan
2006
16 Jan
'06
7:50 a.m.
On Monday 16 January 2006 13:45, Benjamin Franksen wrote:
I think this is an extremely good idea. I have been very frustrated with finalizers because of their limitations (can't rely on them being called at all), so have (reluctantly) been using the unsafe bracket version. Making it safe via a type system trick is really the way to go. I'll go read Oleg's paper and see if it's a workable solution.
Oops, it's not a paper, it's code. Well then... Ben