I don't disagree, but this doesn't address that "if it were free" design point. Obviously retrieval isn't free, and we have only so much write bandwidth. But a

I don't disagree, but this doesn't address that "if it were free" design point. Obviously retrieval isn't free, and we have only so much write bandwidth. But a GC might be able to use this in pretty neat ways. You could page out allocations that you think aren't going to be in use, or rarely in use. If you write it to storage, you don't have to be sure. Now that kinda gives you extra infinite memory (the GC dream), so you could do things like project the same data structure into multiple ways depending on how it is being accessed (AoS, SoA, projected subsets, columnar, etc). We should be thinking about how to have computers decide that deletion strategy for us.