That is just theory. In practice, it is going to be very hard for the compiler to know, at the time that you change a single value in a huge array, that you ar

That is just theory. In practice, it is going to be very hard for the compiler to know, at the time that you change a single value in a huge array, that you are never going to refer to the old array, and so it can just mutate the array.