I'd also love if dynamic/untyped languages would up their IDE game.

I think much of the same badass code completion would be possible, if we have a live system with real objects to code against.