We're adressing the lack of static typing with the Gradualizer project. It's not ready for prime time yet but I find it very promising.

https://github.com/josefs/Gradualizer