https://danluu.com/empirical-pl/
Just the thing I was looking for in a researched discussion of dynamic vs static typing . TL;DR there is a serious paucity of quality research on this, and there is no clear answer. Side note: static analysis tools are immensely useful to both statically and dynamically typed alike.