Here's a good summary of the limited evidence for the benefits of strong type systems: https://danluu.com/empirical-pl/