You might be surprised at this. I've used the Python tools for Visual Studio and it has some type awareness; I think perhaps what it is doing is capturing the t

You might be surprised at this. I've used the Python tools for Visual Studio and it has some type awareness; I think perhaps what it is doing is capturing the type of a variable at runtime when you execute your program and using that while you are coding. In either case, intellisense works quite well (though not when you first introduce a new variable). I've also used RubyMine and it has some pretty nice inspection features; it will highlight issues such as parameter agreement, unused locals and many other things. It is not like a static language but still quite helpful (and never unhelpfully wrong). I use the VSVim plugin in Visual Studio and IDEAVim in IDEA/RubyMine and they work great (ideavim is kind of lame as it has no real keymap support, but its better than nothing).