Re: which IDE ?

[Florian Weimer <fw@...>]

* Rob Kendrick:

>> You can't know the type of the receiver in Python either, so if
>> Python editors can do it, then Lua editors ought to be able to do so
>> as well.
>
> If you can't know before runtime, than this suggests that the editors
> you refer to run it to find out.  Or guess.
>
> Either option terrifies me.

Yes, but there are some operations for which full IDE support is
possible, safe, and useful.  Renaming local variables is one of them.
Or jumping to the definition of a local variable.  I think I would
find semantically colored global variable references helpful, too.