Less typing would be nice. I am willing to hope that dynamic typing will make for more fun languages, although I am very used to code completion by now (which is inherently impossible with dynamic typing, I think). Sometimes I wonder if the dynamic typing advocates are just the genius people, the same ones who can also remember the syntax of UNIX shell commands by heart.

If the dynamic languages fail me, I guess Scala might be worth a look.

I think outside of Java, and C#, there is a fair amount of IDE hate. So you tend to not see IDEs in that rich sense you are thinking about (the exception is smalltalk, which is an IDE and VM all rolled into one ball). Some would say language like haskell are so brief, there is nothing an IDE could possible do to help it.