2 ms·
Linear types fix this problem, by letting you prove to the compiler that logically immutable operations can be implemented as in-place updates.
by jasonhansel 6y ago
Linear types fix this problem, by letting you prove to the compiler that logically immutable operations can be implemented as in-place updates.