Wouldn't a generational garbage collector automatically separate objects into appropriate lifetime categories?
Garbage collectors typically do not differentiate live-and-mutated from live-but-unmutated, which is what is needed here.
alt Hacker News
Garbage collectors typically do not differentiate live-and-mutated from live-but-unmutated, which is what is needed here.