> Great news to hear we're finally embracing the correct by construction defer: 
> resource.close in stdlib / libraries (and by extension, compiler), which 
> removes a whole class of bugs.

I only used `defer` because in this case it was less distracting to get the 
point across. I still like `try finally` much better. Or Python's `with` 
construct. Sorry. ;-)

Reply via email to