The benefits of static typing are not always exaggerated. One example: Javascript where it says it will be pretty loose about typing, yet crashes miserably on type errors. This made Typescript a huge improvement for me in that area, despite slowing TDD down a bit (due to compilation mainly).