While the larger changes to the semantics to try to replace identifiers with integer indices proved to not be helpful for performance, the keys to the store cell were already densely laid-out integers, so it proved quite simple to convert this one cell to a List from a Map.
While the larger changes to the semantics to try to replace identifiers with integer indices proved to not be helpful for performance, the keys to the
store
cell were already densely laid-out integers, so it proved quite simple to convert this one cell to a List from a Map.