Linear types fix this problem, by letting you prove to the compiler that logically immutable operations can be implemented as in-place updates.