Not just prettier, but it is more correct to shadow if your intent is to make the original x unavailable.
It would be cleaner/safer if the language had a keyword like 'shadowlet'.
It would be cleaner/safer if the language had a keyword like 'shadowlet'.
x <- m1;
f x;
x <- m 2;
f x;
x! <- m 2