Earlier quoted context omitted.
Depends on the IDE. I use Python with Eclipse. Auto-completion works quite perfectly. Refactoring too.
I disagree. There's simply no way that the IDE can know everything about a variable without running the code and I don't believe that eclipse does this. It's ok at refactoring but it breaks down all the time for me, renaming unrelated variables or missing cases. I don't believe it can handle kwargs for example (no computer in front of me, feel free to prove me wrong)
Or with. With dynamic typing and dynamic name resolution such as in Python, there's no way to know with certainty, even if you run it.