> a large body of evidence suggests that having static types for both safety and documentation is a big win
Citation needed. A review of studies on static vs. dynamic languages concluded "most studies find very small effects, if any". https://danluu.com/empirical-pl/