27 Feb
2007
27 Feb
'07
4:38 p.m.
Also, the SML version uses Vectors, "polymorphic vectors, immutable sequences with constant-time access". I wonder how immutable these are. I suspect that changing elements does updates in place with history tracking?
SML vectors in the standard basis library are truly immutable, and no history tracking for updates is available. The full source code of their experiment is not contained in the paper, so it's hard to tell what they were doing (and if the speed difference would be as pronounced today).