> with type systems that mostly keep the foot guns in the foot gun cabinet They don't compared to dynamic languages. Those type systems are only an improvement

> with type systems that mostly keep the foot guns in the foot gun cabinet They don't compared to dynamic languages. Those type systems are only an improvement compared to C and C++, not to dynamic languages.