I still wonder about the mutable data question though. Can we do better than logarithmic overhead, or is there a problem for which we provably cannot?
I still wonder about the mutable data question though. Can we do better than logarithmic overhead, or is there a problem for which we provably cannot?