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.