My own Hungarian notation style

[wysota]

it's nice to reduce the list of variables to those that are truly compatible with an appropriate method call parameter.

Are they? What about implicit casting and inheritance? "Compatible" and "identical" are two different things.

And on the other end there is a situation when you want to find a variable holding some piece of information but you don't remember the type of the variable. It's practically impossible to guess the variable name without spending time to deduce what the type (or class) of this particular variable might be. Usually when I'm calling methods, I know what data I want to pass to it, I don't need them sorted by type, sorting by meaning is much more important to me.