I'm at this point right now - what are the best static languages with type inference for the dynamic language crowd? Haskell? Scala? Go? Rust? Something I haven't heard of? All of the above?
Haskell isn't quite there in terms of IDE support (there is "Leksah") but I find myself writing most Haskelly code in emacs/vim with GHCI open in a separate terminal.
Nowadays I will take a static language with automatic type inference over a dynamic language anytime, preferably one that with direct support for FP.
The IDE support, code navigation and refactoring, and runtime performance just beat dynamic languages all the time.
For the few use cases where dynamic types really make a difference, that can be supported by some kind of variant type or reflection.