I think it's a matter of taste, and I find short names to be more readable for local symbols.