This is somewhat though not entirely solved by https://en.wikipedia.org/wiki/Persistent_data_structure