Destroy All Values: Designing Deinitialization in Programming Languages - Faultlore

https://gankra.github.io/blah/deinitialize-me-maybe/