In the interest of honesty, I should note that I think I’m over-egging the pudding in my enthusiasm:
On reflection, I suspect that Array copying is probably fast enough that I’m lying here. It’s probably more accurate to say that
Vector is able to do things like growing, and inserting elements into the middle, much more easily than
Array without being crazy-inefficient.