The development experience for statically typed languages is often _amazing_ compared to that of dynamically typed ones; we sometimes choose dynamically typed ones anyway because of the flexibility and speed of development they give. I'd be very happy with an environment that provided dynamically typed languages the same analysis, checking, completion, etc that statically typed languages take for granted.
> I'd be very happy with an environment that provided dynamically typed languages the same analysis, checking, completion
Thinks like tern.js[0] or my own Aulx[1] provide that with varying success. Visual Studio's JS autocompletion is also stellar. The techniques used could be applied (with tweaks) to most dynamic languages.