On 12/07/2014 06:23 PM, Stefan Monnier wrote:
>> *Any* solution that frees developers from spelling all symbols in full
>> will have that disadvantage.
> 
> That's right.

So what? There are definitely offsetting benefits. Or are you saying M-x
grep is our top priority now?